exo7 3645

Soit \(E\) un \(K\)-ev de dimension finie et \(F,G\) deux sev de \(E\) tels que \(F\oplus G = E\).

1

Montrer que \(F^\circ \oplus G^\circ = E^*\).

2

Montrer que \(F^\circ\) est naturellement isomorphe à \(G^*\) et \(G^\circ\) à \(F^*\).