Quantum redactiones paginae "Copia vacua" differant
Content deleted Content added
m automaton: {{Reflist}} -> <references />; mutationes minores |
|||
Linea 5:
''[[Copia nil]]'' ([[Anglice]]: ''null set'') olim commune fuit nomen copiae vacuae, sed nunc est terminus technicus, verbum [[theoria mensurae|theoriae mensurae]] proprium.
== Notatio ==
Communes copiae vacuae notationes sunt "{}" et "<math>\varnothing</math>" et "<math>\emptyset</math>". Duo signa ultima a [[Grex Bourbaki|Grege Bourbaki]] (diserte ab [[Andreas Weil|Andrea Weil]]) anno [[1939]] introducta sunt, secundum [[littera]]m [[Ø]] in [[abecedarium|abecedariia]] [[lingua Danica|Danico]] et [[lingua Norvegica|Norvegico]], et nullo pacto cum littera Graeca [[Phi|Φ]] coniuncta.<ref>[http://jeff560.tripod.com/set.html Earliest Uses of Symbols of Set Theory and Logic.]</ref> Alia signa copiae vacuae sunt "Λ" et "0."<ref>[[John B. Conway]], ''Functions of One Complex Variable'', 2nd ed. P. 12.</ref>
Signum copiae vacuae {{unicode|∅}} invenitur apud [[Unicode]] punctum U+2205.<ref>[http://www.unicode.org/charts/PDF/U2200.pdf Unicode Standard 5.2]</ref> In [[TeX]], ut \emptyset vel \varnothing digeritur.
== Proprietates ==
[[Axioma extentionis]] in [[theoria axiomatica copiarum]] habet duas copias cum ambo elementa eadum contineat esse aequas; ergo copia quae nihil continet est unica. Ita non est multa copia vacua, sed una copia vacua.
Linea 28:
<!--PLUS IN EN:-->
== Vide etiam ==
[[Fasciculus:Empty set.svg|thumb|100px|Signum copiae vacuae]]
* [[Copia inculta]]
== Notes ==
<references />
== Bibliographia ==
* [[Paulus Halmos|Halmos, Paul]]. [[1960]], [[1974]]. ''Naive set theory''. Princetoniae Novae Caesareae: D. Van Nostrand Company, 1960. Iterum pressum a Springer-Verlag Novi Eboraci, 1974. ISBN 0-387-90092-6.
* Jech, Thomas. [[2003]]. ''Set Theory: The Third Millennium Edition, Revised and Expanded.''
{{math-stipula}}
|