Sottospazio affine generato
Nella geometria in uno spazio affine , lo scafo affine da una parte non vuota , indicato anche come inviluppo affine a , è il più piccolo sottospazio affine di contenimento .
E{\ displaystyle E} A{\ displaystyle A}A{\ displaystyle A} E{\ displaystyle E}A{\ displaystyle A}
Definizione
In uno spazio affine, l' intersezione di una famiglia (non vuota ) di sottospazi affini è l' insieme vuoto o un sottospazio affine e lo spazio stesso è un sottospazio, il che giustifica la seguente definizione:
Lascia che sia uno spazio affine. Per ogni parte non vuota di , esiste un più piccolo sottospazio contenente affine : l'intersezione di tutti i sottospazi contenenti affini .
E{\ displaystyle E}A{\ displaystyle A}E{\ displaystyle E}E{\ displaystyle E}A{\ displaystyle A}E{\ displaystyle E}A{\ displaystyle A}
Lo chiamiamo sottospazio affine generato da , e spesso lo denotiamo o , o ancora .A{\ displaystyle A}Aff(A){\ displaystyle \ operatorname {Aff} (A)}aff(A){\ Displaystyle \ operatorname {aff} (A)}affA{\ Displaystyle \ operatorname {aff} A}
Proprietà
Siano e siano spazi affini e , due parti non vuote di e una parte non vuota di .
E{\ displaystyle E}F{\ displaystyle F}A{\ displaystyle A}B{\ displaystyle B}E{\ displaystyle E}VS{\ displaystyle C}F{\ displaystyle F}
-
aff(A){\ Displaystyle \ operatorname {aff} (A)}è uguale all'insieme dei baricentri dei punti di .A{\ displaystyle A}
- Se è una mappa affine allora .f:E→F{\ displaystyle f: E \ to F}f(aff(A))=aff(f(A)){\ Displaystyle f (\ operatorname {aff} (A)) = \ operatorname {aff} (f (A))}
-
aff(B)×aff(VS)=aff(B×VS){\ Displaystyle \ operatorname {aff} (B) \ times \ operatorname {aff} (C) = \ operatorname {aff} (B \ times C)}(nello spazio affine del prodotto ).E×F{\ displaystyle E \ times F}
-
A{\ displaystyle A}e il suo inviluppo convesso genera lo stesso sottospazio affine.
- Per ogni punto di , la direzione di è il sottospazio vettoriale generato (nello spazio vettoriale associato a ) da .P{\ displaystyle P}A{\ displaystyle A}aff(A){\ Displaystyle \ operatorname {aff} (A)}E{\ displaystyle E}{PQ→∣Q∈A}{\ displaystyle \ {{\ overrightarrow {PQ}} \ mid Q \ in A \}}
-
aff{\ displaystyle \ operatorname {aff}}è un operatore di chiusura : , e .A⊂aff(A){\ Displaystyle A \ subset \ operatorname {aff} (A)}A⊂B⇒aff(A)⊂aff(B){\ Displaystyle A \ subset B \ Rightarrow \ operatorname {aff} (A) \ subset \ operatorname {aff} (B)}aff(aff(A))=aff(A){\ Displaystyle \ operatorname {aff} (\ operatorname {aff} (A)) = \ operatorname {aff} (A)}
Note e riferimenti
-
Dany-Jack Mercier, Geometria corso: preparazione per CAPES e l'aggregazione , Publibook università,2005( leggi in linea ) , p. 33.
-
Daniel Guinin e Bernard Joppin, Algebra and geometry PCSI , Bréal ,2003( leggi in linea ) , p. 256.
-
(a) R. Tyrrell Rockafellar , Convex Analysis , Princeton, NJ, Princeton University Press , coll. "Princeton Mathematical Series" ( n . 28),1970( leggi in linea ) , p. 6(limitato al caso ).E=Rnon{\ displaystyle E = \ mathbb {R} ^ {n}}
-
Mercier 2005 , p. 37.
-
Mercier 2005 , p. 49.
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">