Función vacía

Función vacía
Función vacía
Tipo Función matemática
Dominio Conjunto vacío
Propiedades Para cada conjunto A existe una única función vacía, cuyo codominio es A.

En matemática, una función vacía es una función matemática cuyo dominio es el conjunto vacío. Para cada conjunto A, existe exactamente una función vacía:

f_A: \varnothing \rightarrow A.

El grafo de una función vacía es un subconjunto del producto cartesiano ∅×A. Dado que el producto es vacío, el único subconjunto es el conjunto vacío ∅, el cual es un grafo válido, puesto que para cada x en el dominio ∅ existe un único y en el codominio A tal que (x,y) ∈ ∅. Este es un ejemplo de aseveración vacía, ya que no hay ningún x en el dominio.

La existencia de una única función vacía para cada conjunto A significa que el conjunto vacío es un objeto cero o inicial en la categoría de conjuntos.


Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Función de trabajo — Contenido 1 Función de trabajo 2 Función de trabajo fotoeléctrica 3 Función de trabajo termoiónica 4 Enlaces externos …   Wikipedia Español

  • Síndrome de la nariz vacía — La primera imagen muestra un TAC de un sujeto con la anatomía nasal normal. Las tres siguientes imágenes muestran las de pacientes que padecen el SNV tras haberse sometido a turbinectomías de los cornetes inferiores, medios e inferiores y medios …   Wikipedia Español

  • Lisp — Información general Paradigma multiparadigma: orientado a objetos, funcional, declarativo Apareció en 1958 Diseñado por John McCarthy …   Wikipedia Español

  • Producto vacío — Saltar a navegación, búsqueda En matemáticas, un producto vacío es el resultado de multiplicar entre sí ningún número. Su valor numérico es 1, el elemento neutro del producto, de la misma manera que la suma vacía, que es el resultado de sumar… …   Wikipedia Español

  • Cero — Para otros usos de este término, véase Cero (desambiguación). 0 Cardinal Cero Sistemas de numeración Ática O …   Wikipedia Español

  • Lista (informática) — En Ciencias de la Computación, una lista enlazada es una de las estructuras de datos fundamentales, y puede ser usada para implementar otras estructuras de datos. Consiste en una secuencia de nodos, en los que se guardan campos de datos… …   Wikipedia Español

  • Amenorrea — Saltar a navegación, búsqueda Amenorrea Clasificación y recursos externos …   Wikipedia Español

  • Preprocesador de C — Saltar a navegación, búsqueda El preprocesador de C (cpp) es el preprocesador para el lenguaje de programación C. Es el primer programa invocado por el compilador y procesa directivas como #include, #define y #if. Estas directivas no son… …   Wikipedia Español

  • Scheme — Información general Paradigma multi paradigma Apareció en 1975 …   Wikipedia Español

  • Wikipedia:Café (todos) — Atajos WP:CWP:C …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”