En teora de conjuntos, un conjunto infinito es un conjunto que no es finito.

Algunos ejemplos son:

Los nmeros enteros Z = {..., -3, -2, -1, 0, 1, 2, 3, ...} forman un conjunto infinito y numerable. Los puntos en una recta, representados por un nmero real, forman un conjunto infinito y no numerable.

Conjunto infinito
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda En teora de conjuntos, un conjunto infinito es un conjunto que no es finito. Algunos ejemplos son:

Los nmeros enteros Z = {..., -3, -2, -1, 0, 1, 2, 3, ...} forman un conjunto infinito y numerable. Los puntos en una recta, representados por un nmero real, forman un conjunto infinito y no numerable.

conjunto universal
Conjunto que contiene todos los elementos posibles para un problema particular en consideracin. Smbolo: E. E se define de acuerdo con el alcance del problema bajo estudio. Por ejemplo, en un problema que slo involucra nmeros naturales, el conjunto universal es el conjunto de todos los nmeros naturales: {1, 2, 3, 4, . . .}. Cualesquiera otros subconjuntos involucrados, como el conjunto de los nmeros pares {2, 4, 6, . . .}, se toman de este conjunto universal.

Conjunto vaco
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

El conjunto vaco es aqul que no tiene elementos. En matemticas, especficamente en teora de conjuntos, el conjunto vaco es el conjunto que no contiene ningn elemento. Puesto que lo nico que define a un conjunto son sus elementos, el conjunto vaco es nico.

En una teora axiomtica de conjuntos, la existencia de un conjunto vaco se postula. Algunas propiedades de los conjuntos son trivialmente ciertas para el conjunto vaco.

Conjunto unitario
De Wikipedia, la enciclopedia libre Saltar a: navegacin, bsqueda

En matemticas, un conjunto unitario, singulete o singleton es un conjunto con un nico elemento. Por ejemplo, el conjunto { 0 } es un conjunto unitario. Observe que un conjunto como, por ejemplo, { { 1, 2, 3 } } es tambin un conjunto unitario: el nico elemento es un conjunto (que, sin embargo, no es unitario). Un conjunto es unitario si y solamente si su cardinalidad es uno. En la construccin -teortico-conjuntista de los nmeros naturales, el nmero 1 es definido como el conjunto unitario { 0 }. En la teora axiomtica de conjuntos, la existencia de conjuntos unitarios es una consecuencia del axioma del conjunto vaco y axioma de apareamiento: el primero da vaco, y el ltimo, aplicado al apareamiento de { } y { }, produce el conjunto unitario {{}}. si A es un conjunto y S es cualquier conjunto unitario, existe exactamente una funcin de A a S, la funcin constante que enva cada elemento de A al elemento de S. Las estructuras construidas sobre conjuntos unitarios sirven a menudo como los objetos terminales o finales o los objetos cero de varias categoras:

La afirmacin anterior muestra que cada conjunto unitario S es un objeto terminal en Set, la categora de conjuntos y funciones. No hay otros conjuntos terminales en esa categora. Cualquier conjunto unitario se puede presentar como espacio topolgico en una nica forma (todos los subconjuntos son abiertos, esto es, slo vaco y conjunto unitario: lo mismo que el espacio vaco, discreto e indiscreto a la vez). Estos espacios topolgicos sobre un conjunto unitario son objetos terminales en la categora Top de los espacios topolgicos y funciones continuas. No hay otro tipo de espacios terminales en esa categora. Cualquier conjunto unitario se puede presentar como un grupo en una nica forma (el nico elemento como identidad). estos grupos sobre un conjunto unitario son los objetos cero en la categora Grp de grupos y homomorfismos. No hay otros objetos cero en esa categora.

[editar] Vase tambin