- Continuous function (topology)
In

topology and related areas ofmathematics a**continuous function**is amorphism betweentopological space s. Intuitively, this is a function "f" where a set of points near "f(x)" always contain the image of a set of points near "x". For a general topological space, this means a neighbourhood of "f(x)" always contains the image of a neighbourhood of "x".In a

metric space (for example, thereal number s) this means that the points within a given distance of "f(x)" always contain the images of all the points within some other distance of "x", giving the ε-δ definition.**Definitions**Several equivalent definitions for a topological structure exist and thus there are several equivalent ways to define a continuous function.

**Open and closed set definition**The most common notion of continuity in topology defines continuous functions as those functions for which the

preimage s ofopen set s are open. Similar to the open set formulation is the**closed set formulation**, which says thatpreimage s ofclosed set s are closed.**Neighborhood definition**Definitions based on preimages are often difficult to use directly. Instead, suppose we have a function "f" from "X" to "Y", where "X","Y" are topological spaces. We say "f" is

**continuous at "x**" for some $x\; in\; X$ if for any neighborhood "V" of "f"("x"), there is a neighborhood "U" of "x" such that $f(U)\; subseteq\; V$. Although this definition appears complex, the intuition is that no matter how "small" "V" becomes, we can always find a "U" containing "x" that will map inside it. If "f" is continuous at every $x\; in\; X$, then we simply say "f" is continuous.In a

metric space , it is equivalent to consider theneighbourhood system ofopen ball s centered at "x" and "f"("x") instead of all neighborhoods. This leads to the standard ε-δ definition of acontinuous function from real analysis, which says roughly that a function is continuous if all points close to "x" map to points close to "f"("x"). This only really makes sense in a metric space, however, which has a notion of distance.Note, however, that if the target space is Hausdorff, it is still true that "f" is continuous at "a" if and only if the limit of "f" as "x" approaches "a" is "f(a)". At an isolated point, every function is continuous.

**Sequences and nets**In several contexts, the topology of a space is conveniently specified in terms of

limit points . In many instances, this is accomplished by specifying when a point is thelimit of a sequence , but for some spaces that are too large in some sense, one specifies also when a point is the limit of more general sets of points indexed by adirected set , known as nets. A function is continuous only if it takes limits of sequences to limits of sequences. In the former case, preservation of limits is also sufficient; in the latter, a function may preserve all limits of sequences yet still fail to be continuous, and preservation of nets is a necessary and sufficient condition.In detail, a function "f" : "X" → "Y" is

**sequentially continuous**if whenever a sequence ("x"_{"n"}) in "X" converges to a limit "x", the sequence ("f"("x"_{"n"})) converges to "f"("x"). Thus sequentially continuous functions "preserve sequential limits". Every continuous function is sequentially continuous. If "X" is afirst-countable space , then the converse also holds: any function preserving sequential limits is continuous. In particular, if "X" is a metric space, sequential continuity and continuity are equivalent. For non first-countable spaces, sequential continuity might be strictly weaker than continuity. (The spaces for which the two properties are equivalent are calledsequential space s.) This motivates the consideration of nets instead of sequences in general topological spaces. Continuous functions preserve limits of nets, and in fact this property characterizes continuous functions.**Closure operator definition**Given two topological spaces ("X",cl) and ("X" ' ,cl ') where cl and cl ' are two

closure operator s then a function:$f:(X,mathrm\{cl\})\; o\; (X\text{'}\; ,mathrm\{cl\}\text{'})$is**continuous**if for all subsets "A" of "X":$f(mathrm\{cl\}(A))\; subseteq\; mathrm\{cl\}\text{'}(f(A)).$One might therefore suspect that given two topological spaces ("X",int) and ("X" ' ,int ') where int and int ' are two

interior operator s then a function :$f:(X,mathrm\{int\})\; o\; (X\text{'}\; ,mathrm\{int\}\text{'})$is**continuous**if for all subsets "A" of "X":$f(mathrm\{int\}(A))\; subseteq\; mathrm\{int\}\text{'}(f(A))$or perhaps if:$f(mathrm\{int\}(A))\; supseteq\; mathrm\{int\}\text{'}(f(A));$however, neither of these conditions is either necessary or sufficient for continuity.Instead, we must resort to inverse

interior operator s then a function :$f:(X,mathrm\{int\})\; o\; (X\text{'}\; ,mathrm\{int\}\text{'})$is**continuous**if for all subsets "A" of "X" ':$f^\{-1\}(mathrm\{int\}\text{'}(A))\; subseteq\; mathrm\{int\}(f^\{-1\}(A)).$We can also write that given two topological spaces ("X",cl) and ("X" ' ,cl ') where cl and cl ' are twoclosure operator s then a function:$f:(X,mathrm\{cl\})\; o\; (X\text{'}\; ,mathrm\{cl\}\text{'})$is**continuous**if for all subsets "A" of "X" ':$f^\{-1\}(mathrm\{cl\}\text{'}(A))\; supseteq\; mathrm\{cl\}(f^\{-1\}(A)).$**Closeness relation definition**Given two topological spaces ("X",δ) and ("X"' ,δ') where δ and δ' are two

closeness relation s then a function:$f:(X,delta)\; o\; (X\text{'}\; ,delta\text{'})$is**continuous**if for all points "x" and of "X" and all subsets "A" of "X",:$x\; delta\; A\; Rightarrow\; f(x)delta\text{'}f(A).$This is another way of writing the closure operator definition.**Useful properties of continuous maps**Some facts about continuous maps between topological spaces:

* If "f" : "X" → "Y" and "g" : "Y" → "Z" are continuous, then so is the composition "g" o "f" : "X" → "Z".

* If "f" : "X" → "Y" is continuous and

** "X" is compact, then "f"("X") is compact.

** "X" is connected, then "f"("X") is connected.

** "X" is path-connected, then "f"("X") is path-connected.

*Theidentity map id_{X}: ("X", τ_{2}) → ("X", τ_{1}) is continuous if and only if τ_{1}⊆ τ_{2}(see alsocomparison of topologies ).**Other notes**If a set is given the

discrete topology , all functions with that space as a domain are continuous. If the domain set is given theindiscrete topology and the range set is at least T_{0}, then the only continuous functions are the constant functions. Conversely, any function whose range is indiscrete is continuous.Given a set "X", a

partial ordering can be defined on the possible topologies on "X". A continuous function between two topological spaces stays continuous if we strengthen the topology of thedomain space or weaken the topology of thecodomain space . Thus we can consider the continuity of a given function atopological property , depending only on the topologies of its domain and codomain spaces.For a function "f" from a topological space "X" to a set "S", one defines the

final topology on "S" by letting the open sets of "S" be those subsets "A" of "S" for which "f^{-1}(A)" is open in "X". If "S" has an existing topology, "f" is continuous with respect to this topology if and only if the existing topology is coarser than the final topology on "S". Thus the final topology can be characterized as the finest topology on "S" which makes "f" continuous. If "f" issurjective , this topology is canonically identified with thequotient topology under theequivalence relation defined by "f". This construction can be generalized to an arbitrary family of functions "X" → "S".Dually, for a function "f" from a set "S" to a topological space, one defines the

initial topology on "S" by letting the open sets of "S" be those subsets "A" of "S" for which "f"("A") is open in "X". If "S" has an existing topology, "f" is continuous with respect to this topology if and only if the existing topology is finer than the initial topology on "S". Thus the initial topology can be characterized as the coarsest topology on "S" which makes "f" continuous. If "f" is injective, this topology is canonically identified with thesubspace topology of "S", viewed as a subset of "X". This construction can be generalized to an arbitrary family of functions "S" → "X".Symmetric to the concept of a continuous map is an

open map , for which "images" of open sets are open. In fact, if an open map "f" has an inverse, that inverse is continuous, and if a continuous map "g" has an inverse, that inverse is open.If a function is a

bijection , then it has aninverse function . The inverse of a continuous bijection is open, but need not be continuous. If it is, this special function is called ahomeomorphism .If a continuous bijection has as its domain acompact space and its codomain is Hausdorff, then it is automatically a homeomorphism.

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Continuous function**— Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus Derivative Change of variables Implicit differentiation Taylor s theorem Related rates … Wikipedia**Continuous function (set theory)**— In mathematics, specifically set theory, a continuous function is a sequence of ordinals such that the values assumed at limit stages are the limits (limit suprema and limit infima) of all values at previous stages. More formally, let γ be an… … Wikipedia**Nowhere continuous function**— In mathematics, a nowhere continuous function, also called an everywhere discontinuous function, is a function that is not continuous at any point of its domain. If f is a function from real numbers to real numbers, then f(x) is nowhere… … Wikipedia**Topology**— (Greek topos , place, and logos , study ) is the branch of mathematics that studies the properties of a space that are preserved under continuous deformations. Topology grew out of geometry, but unlike geometry, topology is not concerned with… … Wikipedia**topology**— topologic /top euh loj ik/, topological, adj. topologically, adv. topologist, n. /teuh pol euh jee/, n., pl. topologies for 3. Math. 1. the study of those properties of geometric forms that remain invariant under c … Universalium**Function space**— In mathematics, a function space is a set of functions of a given kind from a set X to a set Y . It is called a space because in many applications, it is a topological space or a vector space or both. ExamplesFunction spaces appear in various… … Wikipedia**Continuous functions on a compact Hausdorff space**— In mathematical analysis, and especially functional analysis, a fundamental role is played by the space of continuous functions on a compact Hausdorff space with values in the real or complex numbers. This space, denoted by C(X), is a vector… … Wikipedia**Glossary of topology**— This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also… … Wikipedia**Dirac delta function**— Schematic representation of the Dirac delta function by a line surmounted by an arrow. The height of the arrow is usually used to specify the value of any multiplicative constant, which will give the area under the function. The other convention… … Wikipedia**Weak topology**— This article discusses the weak topology on a normed vector space. For the weak topology induced by a family of maps see initial topology. For the weak topology generated by a cover of a space see coherent topology. In mathematics, weak topology… … Wikipedia