Formes linéaires et Axiomes de Choix Fini Séminaire ERMIT

⇔
I
I

K
(K)K
:→K
(K)K∈ \{ }
:→K( ) =
(K)K
(K)K
⇒(K)⇒(K)⇒(K)⇒(K)

∀K(K)⇒
(Z)⇒
K⇔(K)
(K)
(K)

(K)⇒
:= ( ,)
K( )
∈:= t∈={,} −
K( ) ={,} −
K( )
(K)∈
−K( ) ∈
−={,}+{,}
−
−=X
∈
X
∈
λ(−) + X
∈
µ(−)
λ µ λ =−/∈
µ=−/∈