Diferenzas entre revisións de «Infinito»

== Teoría de conxuntos ==
Os conxuntos finitos teñen unha propiedade "intuitiva" que os caracteriza: "dada unha parte propia dos mesmos, esta contén un número de elementos menor que todo o conxunto". É dicir, non pode establecerse unha bixección entre unha parte propio do conxunto finito e todo o conxuntos. Porén, esa propiedade non a teñen os conxuntos infinitos, e dise formalmente que :
{{cita|''Un conxunto <math>A\;</math> é infinito se existe un subconxunto propio <math>B\;</math> de <math>A\;</math>, é decirdicir, un subconxunto <math>B \subset A</math> tal que <math>A \neq B</math>, tal que existe unha bixección <math>f:A \to B</math> entre <math>A\;</math> e <math>B\;</math>.''}}
A idea de [[cardinalidade]] dun [[conxunto]] baséase nesta noción de bixección. Dos conxuntos entre os que se pode establecer unha bixección dise que que teñen a mesma cardinalidade. Para un conxunto finito a súa cardinalidade pode representarse por un [[número natural]].
 
208.813

edicións