Diferencies ente revisiones de «Infinitu»
Contenido eliminado Contenido añadido
m Bot: Migrating 83 interwiki links, now provided by Wikidata on d:q205 (translate me) |
m Robó: Troquéu automáticu de testu (-contien +contién) |
||
Llinia 9:
== Teoría de conxuntos ==
Los conxuntos finitos tienen una propiedá "intuitiva" que los caracteriza; dada una parte mesma de los mesmos, ésta
:''Un conxuntu <math>A\;</math> ye infinitu si esiste un subconxuntu propiu <math>B\;</math> de <math>A\;</math>, esto ye, un subconxuntu <math>B \subset A</math> tal que <math>A \neq B</math>, tal qu'esiste una biyección <math>f:A \to B</math> ente <math>A\;</math> y <math>B\;</math>.''
Llinia 42:
<math>0 =\{\} = \varnothing</math>
||left}}
nótase <math>1\,</math> el conxuntu que namá
{{ecuación|
<math>1 = \{0\} = \{\varnothing\}</math>
||left}}
depués nótase <math>2\,</math> el conxuntu que namá
{{ecuación|
<math>2 = \{0,1\} = \{0, \{0\} \} = \{ \varnothing, \{\varnothing \}\}</math>
Llinia 110:
=== Númberos cardinales infinitos ===
{{AP|Númberu cardinal (teoría de conxuntos)}}
El cardinal d'un conxuntu ye'l númberu d'elementos que
Como yá tenemos un surtíu de conxuntos -los ordinales- veamos los sos tamaños (esto ye los sos cardinales) respectivos. Nun ye nenguna sorpresa que los ordinales finitos tamién son cardinales: ente dos conxuntos con n y m elementos, m y n distintos, nun puede haber biyección, polo tanto tienen cardinales distintos. Pero nun ye'l casu colos ordenales infinitos: Por casu, <math>\omega</math> y <math>\omega+1</math> tán en biyección pola función:
|