# Tietze extension theorem

Last updated

In topology, the Tietze extension theorem (also known as the Tietze–Urysohn–Brouwer extension theorem) states that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary.

## Formal statement

If ${\displaystyle X}$ is a normal space and

${\displaystyle f:A\to \mathbb {R} }$

is a continuous map from a closed subset ${\displaystyle A}$ of ${\displaystyle X}$ into the real numbers ${\displaystyle \mathbb {R} }$ carrying the standard topology, then there exists a continuous extension of ${\displaystyle f}$ to ${\displaystyle X;}$ that is, there exists a map

${\displaystyle F:X\to \mathbb {R} }$

continuous on all of ${\displaystyle X}$ with ${\displaystyle F(a)=f(a)}$ for all ${\displaystyle a\in A.}$ Moreover, ${\displaystyle F}$ may be chosen such that

${\displaystyle \sup\{|f(a)|:a\in A\}~=~\sup\{|F(x)|:x\in X\},}$

that is, if ${\displaystyle f}$ is bounded then ${\displaystyle F}$ may be chosen to be bounded (with the same bound as ${\displaystyle f}$).

## History

L. E. J. Brouwer and Henri Lebesgue proved a special case of the theorem, when ${\displaystyle X}$ is a finite-dimensional real vector space. Heinrich Tietze extended it to all metric spaces, and Pavel Urysohn proved the theorem as stated here, for normal topological spaces. [1] [2]

## Equivalent statements

This theorem is equivalent to Urysohn's lemma (which is also equivalent to the normality of the space) and is widely applicable, since all metric spaces and all compact Hausdorff spaces are normal. It can be generalized by replacing ${\displaystyle \mathbb {R} }$ with ${\displaystyle \mathbb {R} ^{J}}$ for some indexing set ${\displaystyle J,}$ any retract of ${\displaystyle \mathbb {R} ^{J},}$ or any normal absolute retract whatsoever.

## Variations

If ${\displaystyle X}$ is a metric space, ${\displaystyle A}$ a non-empty subset of ${\displaystyle X}$ and ${\displaystyle f:A\to \mathbb {R} }$ is a Lipschitz continuous function with Lipschitz constant ${\displaystyle K,}$ then ${\displaystyle f}$ can be extended to a Lipschitz continuous function ${\displaystyle F:X\to \mathbb {R} }$ with same constant ${\displaystyle K.}$ This theorem is also valid for Hölder continuous functions, that is, if ${\displaystyle f:A\to \mathbb {R} }$ is Hölder continuous function with constant less than or equal to ${\displaystyle 1,}$ then ${\displaystyle f}$ can be extended to a Hölder continuous function ${\displaystyle F:X\to \mathbb {R} }$ with the same constant. [3]

Another variant (in fact, generalization) of Tietze's theorem is due to H.Tong and Z. Ercan: [4] Let ${\displaystyle A}$ be a closed subset of a normal topological space ${\displaystyle X.}$ If ${\displaystyle f:X\to \mathbb {R} }$ is an upper semicontinuous function, ${\displaystyle g:X\to \mathbb {R} }$ a lower semicontinuous function, and ${\displaystyle h:A\to \mathbb {R} }$ a continuous function such that ${\displaystyle f(x)\leq g(x)}$ for each ${\displaystyle x\in X}$ and ${\displaystyle f(a)\leq h(a)\leq g(a)}$ for each ${\displaystyle a\in A}$, then there is a continuous extension ${\displaystyle H:X\to \mathbb {R} }$ of ${\displaystyle h}$ such that ${\displaystyle f(x)\leq H(x)\leq g(x)}$ for each ${\displaystyle x\in X.}$ This theorem is also valid with some additional hypothesis if ${\displaystyle \mathbb {R} }$ is replaced by a general locally solid Riesz space. [4]

## Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well defined limit that is within the space.

In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "holes" or "missing endpoints", i.e. that the space not exclude any "limiting values" of points. For example, the "unclosed" interval (0,1) would not be compact because it excludes the "limiting values" of 0 and 1, whereas the closed interval [0,1] would be compact. Similarly, the space of rational numbers is not compact because it has infinitely many "holes" corresponding to the irrational numbers, and the space of real numbers is not compact either because it excludes the limiting values and . However, the extended real number line would be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in Euclidean space, but may be inequivalent in other topological spaces.

In mathematics, a continuous function is a function such that a continuous variation of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value, known as discontinuities. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is not continuous. Up until the 19th century, mathematicians largely relied on intuitive notions of continuity, and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity.

The Hahn–Banach theorem is a central tool in functional analysis. It allows the extension of bounded linear functionals defined on a subspace of some vector space to the whole space, and it also shows that there are "enough" continuous linear functionals defined on every normed vector space to make the study of the dual space "interesting". Another version of the Hahn–Banach theorem is known as the Hahn–Banach separation theorem or the hyperplane separation theorem, and has numerous uses in convex geometry.

In mathematics, a metric space is a set together with a metric on the set. The metric is a function that defines a concept of distance between any two members of the set, which are usually called points. The metric satisfies the following properties:

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.

In topology and related branches of mathematics, a normal space is a topological space X that satisfies Axiom T4: every two disjoint closed sets of X have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T5 spaces, and perfectly normal Hausdorff spaces, or T6 spaces.

In topology, Urysohn's lemma is a lemma that states that a topological space is normal if and only if any two disjoint closed subsets can be separated by a continuous function.

In mathematical analysis, Lipschitz continuity, named after German mathematician Rudolf Lipschitz, is a strong form of uniform continuity for functions. Intuitively, a Lipschitz continuous function is limited in how fast it can change: there exists a real number such that, for every pair of points on the graph of this function, the absolute value of the slope of the line connecting them is not greater than this real number; the smallest such bound is called the Lipschitz constant of the function. For instance, every function that has bounded first derivatives is Lipschitz continuous.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

In mathematical analysis, semicontinuity is a property of extended real-valued functions that is weaker than continuity. An extended real-valued function is uppersemicontinuous at a point if, roughly speaking, the function values for arguments near are not much higher than

In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

In mathematical analysis, a family of functions is equicontinuous if all the functions are continuous and they have equal variation over a given neighbourhood, in a precise sense described herein. In particular, the concept applies to countable families, and thus sequences of functions.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In functional analysis and related branches of mathematics, the Banach–Alaoglu theorem states that the closed unit ball of the dual space of a normed vector space is compact in the weak* topology. A common proof identifies the unit ball with the weak-* topology as a closed subset of a product of compact sets with the product topology. As a consequence of Tychonoff's theorem, this product, and hence the unit ball within, is compact.

The Arzelà–Ascoli theorem is a fundamental result of mathematical analysis giving necessary and sufficient conditions to decide whether every sequence of a given family of real-valued continuous functions defined on a closed and bounded interval has a uniformly convergent subsequence. The main condition is the equicontinuity of the family of functions. The theorem is the basis of many proofs in mathematics, including that of the Peano existence theorem in the theory of ordinary differential equations, Montel's theorem in complex analysis, and the Peter–Weyl theorem in harmonic analysis and various results concerning compactness of integral operators.

The Katětov–Tong insertion theorem is a theorem of point-set topology proved independently by Miroslav Katětov and Hing Tong in the 1950s. The theorem states the following:

The maximum theorem provides conditions for the continuity of an optimized function and the set of its maximizers with respect to its parameters. The statement was first proven by Claude Berge in 1959. The theorem is primarily used in mathematical economics and optimal control.

In mathematics, the Blumberg theorem states that for any real function there is a dense subset of such that the restriction of to is continuous.

In mathematical analysis, the spaces of test functions and distributions are topological vector spaces (TVSs) that are used in the definition and application of distributions. Test functions are usually infinitely differentiable complex-valued functions on a non-empty open subset that have compact support. The space of all test functions, denoted by is endowed with a certain topology, called the canonical LF-topology, that makes into a complete Hausdorff locally convex TVS. The strong dual space of is called the space of distributions on and is denoted by where the "" subscript indicates that the continuous dual space of denoted by is endowed with the strong dual topology.

## References

1. "Urysohn-Brouwer lemma", Encyclopedia of Mathematics , EMS Press, 2001 [1994]
2. Urysohn, Paul (1925), "Über die Mächtigkeit der zusammenhängenden Mengen", Mathematische Annalen , 94 (1): 262–295, doi:10.1007/BF01208659, hdl:.
3. McShane, E. J. (1 December 1934). "Extension of range of functions". Bulletin of the American Mathematical Society. 40 (12): 837–843. doi:.
4. Zafer, Ercan (1997). "Extension and Separation of Vector Valued Functions" (PDF). Turkish Journal of Mathematics. 21 (4): 423–430.