# Empty function

﻿
Empty function

In mathematics, an empty function is a function whose domain is the empty set. For each set "A", there is exactly one such empty function

:$f_A: varnothing ightarrow A.$

The graph of an empty function is a subset of the Cartesian product &empty;&times;"A". Since the product is empty the only such subset is the empty set &empty;. The empty subset is a valid graph since for every "x" in the domain &empty; there is a unique "y" in the codomain "A" such that ("x","y") &isin; &empty;. This is an example of a vacuous truth since there "are not any x in the domain".

Most authors will not care, when defining the term “constant function” precisely, whether or not the empty function qualifies, and will use whatever definition is most convenient. Sometimes, however, it is best not to consider the empty function to be constant, and a definition that makes reference to the range is preferable in those situations. This is much along the same lines of not considering an empty topological space to be connected, or not considering the trivial group to be simple.

The existence of a unique empty function for each set "A" means that the empty set is an initial object in the category of sets.

References

* Herrlich, Horst and Strecker, George E.; "Category Theory", Allen and Bacon, Inc. Boston (1973).

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Empty set — ∅ redirects here. For similar looking symbols, see Ø (disambiguation). The empty set is the set containing no elements. In mathematics, and more specifically set theory, the empty set is the unique set having no elements; its size or cardinality… …   Wikipedia

• Empty product — In mathematics, an empty product, or nullary product, is the result of multiplying no factors. It is equal to the multiplicative identity 1, given that it exists for the multiplication operation in question, just as the empty sum the result of… …   Wikipedia

• Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia

• Empty nose syndrome — (ENS) is a medical term coined by Dr. Kern and Dr. Stenquist (1996) to describe a cluster of symptoms that often occurs when a nose is crippled by over resection of the inferior and/or middle turbinates of the nose. ENS can be considered as a… …   Wikipedia

• Function overloading — or method overloading is a feature found in various programming languages such as Ada, C#, VB.NET, C++, D and Java that allows the creation of several methods with the same name which differ from each other in terms of the type of the input and… …   Wikipedia

• empty sella syndrome — n a condition in which the subarachnoid space extends into the sella turcica causing it to become filled with cerebrospinal fluid, the pituitary gland is compressed, and the diaphragma sellae is greatly reduced but pituitary function usu. remains …   Medical dictionary

• Empty string — In computer science and formal language theory, the empty string (or null string)[1] is the unique string of length zero. It is denoted with λ or sometimes Λ or ε. The empty string is distinct from a null reference in that in an object oriented… …   Wikipedia

• function — Synonyms and related words: IC analysis, act, act as, acting, action, activism, activities, activity, affair, affairs, aim, ambition, animus, appositive, aspiration, assignment, attribute, attributive, baccalaureate service, bag, banquet, be… …   Moby Thesaurus

• empty word — (esp. in Chinese grammar) a word or morpheme that has no lexical meaning and that functions as a grammatical link or marker, rather than as a contentive. Cf. full word, function word. [1890 95] * * * …   Universalium

• empty sella syndrome — a congenital malformation of the bony structure (the sella turcica) that houses the pituitary gland such that the space is largely filled with cerebrospinal fluid, which squashes the usually spherical gland into a flattened shape against the… …   Medical dictionary