Base (algebra lineare): differenze tra le versioni

Versione delle 15:34, 23 apr 2025

Versione delle 15:51, 23 apr 2025

Riga 40:

</math> è un insieme non vuoto, in quanto <math>U \in F

</math> e <math>U</math> è linearmente indipendente (per ipotesi). Si proverà, adesso, che <math>\subset

</math> è [[Insieme induttivo (teoria degli ordini)|induttivainduttivo]] su <math>F

</math>. Sia <math>G \subseteq F</math> una catena in <math>F

</math>. Si proverà che <math>\cup G</math> è un [[Maggiorante e minorante|maggiorante]] di <math>G</math> in <math>F