Diferencia entre revisiones de «Conjunto unitario»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 00:43 7 feb 2018

En matemáticas, pito chupas conjunto unitario 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 también 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 construcción -teorético-conjuntista de los números naturales, el número 1 es definido como el conjunto unitario { 0 }. En la teoría axiomática de conjuntos, la existencia de conjuntos unitarios es una consecuencia del axioma del conjunto vacío y axioma de apareamiento: el primero da vacío, 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 función de A a S, la función constante que envía 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 categorías:

La afirmación anterior muestra que cada conjunto unitario S es un objeto terminal en Set, la categoría de conjuntos y funciones. No hay otros conjuntos terminales en esa categoría.

Cualquier conjunto unitario se puede presentar como espacio topológico en una única forma (todos los subconjuntos son abiertos, esto es, sólo vacío y conjunto unitario: lo mismo que el espacio vacío, discreto e indiscreto a la vez). Estos espacios topológicos sobre un conjunto unitario son objetos terminales en la categoría Top de los espacios topológicos y funciones continuas. No hay otro tipo de espacios terminales en esa categoría.

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 categoría Grp de grupos y homomorfismos. No hay otros objetos cero en esa categoría.

Véase también

Par ordenado

Referencias

Stoll, Robert (1961). Sets, Logic and Axiomatic Theories. W. H. Freeman and Company. pp. 5–6.

Revisión del 11:41 11 ago 2017 editar Marianov (discusión · contribs.) 4819 ediciones Deshecha la edición 101010041 de MetroBot (disc.) ← Ir a diferencia anterior		Revisión del 00:43 7 feb 2018 editar deshacer 187.247.65.225 (discusión) Sin resumen de edición Etiquetas: Edición desde móvil Edición vía web móvil Ir a siguiente diferencia →
Línea 1:		Línea 1:
	En [[matemáticas]], un '''conjunto unitario''' 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 también 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 construcción -teorético-conjuntista de los números naturales, el número 1 es definido como el conjunto unitario { 0 }. En la [[teoría axiomática de conjuntos]], la existencia de conjuntos unitarios es una consecuencia del [[axioma del conjunto vacío]] y [[axioma de apareamiento]]: el primero da vacío, y el último, aplicado al apareamiento de { } y { }, produce el conjunto unitario <math>\{\{\}\}</math>. si ''A'' es un conjunto y S es cualquier conjunto unitario, existe exactamente una [[función matemática\|función]] de ''A'' a ''S'', la función constante que envía cada elemento de ''A'' al elemento de ''S''. Las estructuras construidas sobre conjuntos unitarios sirven a menudo como los [[Teoría de las categorías#Objetos especiales en una categoría\|objetos terminales o finales]] o los objetos cero de varias [[teoría de las categorías\|categorías]]:		En [[matemáticas]], pito chupas '''conjunto unitario''' 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 también 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 construcción -teorético-conjuntista de los números naturales, el número 1 es definido como el conjunto unitario { 0 }. En la [[teoría axiomática de conjuntos]], la existencia de conjuntos unitarios es una consecuencia del [[axioma del conjunto vacío]] y [[axioma de apareamiento]]: el primero da vacío, y el último, aplicado al apareamiento de { } y { }, produce el conjunto unitario <math>\{\{\}\}</math>. si ''A'' es un conjunto y S es cualquier conjunto unitario, existe exactamente una [[función matemática\|función]] de ''A'' a ''S'', la función constante que envía cada elemento de ''A'' al elemento de ''S''. Las estructuras construidas sobre conjuntos unitarios sirven a menudo como los [[Teoría de las categorías#Objetos especiales en una categoría\|objetos terminales o finales]] o los objetos cero de varias [[teoría de las categorías\|categorías]]:

	* La afirmación anterior muestra que cada conjunto unitario ''S'' es un objeto terminal en '''Set''', la categoría de conjuntos y funciones. No hay otros [[Teoría de las categorías#Objetos especiales en una categoría\|conjuntos terminales]] en esa categoría.		* La afirmación anterior muestra que cada conjunto unitario ''S'' es un objeto terminal en '''Set''', la categoría de conjuntos y funciones. No hay otros [[Teoría de las categorías#Objetos especiales en una categoría\|conjuntos terminales]] en esa categoría.