In topology, the Tietze extension theorem (also known as the Tietze–Urysohn–Brouwer extension theorem or Urysohn-Brouwer lemma) states that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary.
If is a normal space and
is a continuous map from a closed subset of into the real numbers carrying the standard topology, then there exists a of to that is, there exists a map
continuous on all of with for all Moreover, may be chosen such that
that is, if is bounded then may be chosen to be bounded (with the same bound as ).
L. E. J. Brouwer and Henri Lebesgue proved a special case of the theorem, when 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.
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 with for some indexing set any retract of or any normal absolute retract whatsoever.
If is a metric space, a non-empty subset of and is a Lipschitz continuous function with Lipschitz constant then can be extended to a Lipschitz continuous function with same constant
This theorem is also valid for Hölder continuous functions, that is, if is Hölder continuous function with constant less than or equal to then can be extended to a Hölder continuous function with the same constant.
Another variant (in fact, generalization) of Tietze's theorem is due to H.Tong and Z. Ercan:
Let be a closed subset of a normal topological space If is an upper semicontinuous function, a lower semicontinuous function, and a continuous function such that for each and for each , then there is a continuous
extension of such that for each
This theorem is also valid with some additional hypothesis if is replaced by a general locally solid Riesz space.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
We will present the theory of PDEs and of transport equations with rough (non Lipschitz) velocity fields, address both the renormalisation theory by DiPerna-Lions-Ambrosio and its quantitative Lagrang
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. A topological space X is a normal space if, given any disjoint closed sets E and F, there are neighbourhoods U of E and V of F that are also disjoint.
In mathematics, general topology (or point set topology) is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. The fundamental concepts in point-set topology are continuity, compactness, and connectedness: Continuous functions, intuitively, take nearby points to nearby points.
In mathematics, a real or complex-valued function f on d-dimensional Euclidean space satisfies a Hölder condition, or is Hölder continuous, when there are real constants C ≥ 0, α > 0, such that for all x and y in the domain of f. More generally, the condition can be formulated for functions between any two metric spaces. The number α is called the exponent of the Hölder condition. A function on an interval satisfying the condition with α > 1 is constant. If α = 1, then the function satisfies a Lipschitz condition.
We construct a regular random projection of a metric space onto a closed doubling subset and use it to linearly extend Lipschitz and C-1 functions. This way we prove more directly a result by Lee and Naor [5] and we generalize the C-l extension theorem by ...
In this paper we provide a complete analogy between the Cauchy-Lipschitz and the DiPerna-Lions theories for ODE's, by developing a local version of the DiPerna-Lions theory. More precisely, we prove the existence and uniqueness of a maximal regular flow fo ...
2015
,
In this work we propose a new, general and computationally cheap way to tackle parametrized PDEs defined on domains with variable shape when relying on the reduced basis method. We easily describe a domain by boundary parametrizations, and obtain domain de ...