Views
3 years ago

Statement and Proof of the Tietze Extension Theorem

Statement and Proof of the Tietze Extension Theorem

PlanetMath:

PlanetMath: proof of Tietze extension theorem by for and for . Now is continuous and we can extend it to a continuous function . By Urysohn's lemma, is normal because is a continuous function such that for and for . Conversely, let be normal and be closed in . By the lemma, there is a continuous function such that for and for . Since is continuous, the lemma tells us there is a continuous function such that for and for . By repeated application of the lemma we can construct a sequence of continuous functions such that for all . , and for Define . Since and converges as a geometric series, then converges absolutely and uniformly, so is a continuous function defined everywhere. Moreover implies that . Page 2 of 4 Now for , we have that and as goes to infinity, the right side goes to zero and so the sum goes to . Thus Therefore extends . http://planetmath.org/encyclopedia/ProofOfTietzeExtensionTheorem2.html 9/26/2006

PlanetMath: proof of Tietze extension theorem Remarks: If was a function satisfying , then the theorem can be strengthened as follows. Find an extension of as above. The set is closed and disjoint from because for . By Urysohn's lemma there is a continuous function such that and . Hence is a continuous extension of , and has the property that . If is unbounded, then Tietze extension theorem holds as well. To see that consider . The function has the property that for , and so it can be extended to a continuous function which has the property . Hence is a continuous extension of . "proof of Tietze extension theorem" is owned by bbukh. [ full author list (2) | owner history (1) ] View style: This object's parent. (view preamble) Cross-references: unbounded, property, function, sum, side, right, infinity, implies, converges absolutely, geometric series, converges, sequence, extension, subset, theorem, homeomorphic, Urysohn's lemma, disjoint, continuous function, closed, topological space, normal, lemma, Tietze extension theorem This is version 7 of proof of Tietze extension theorem, born on 2004-02-10, modified 2005-05-22. Object id is 5566, canonical name is ProofOfTietzeExtensionTheorem2. Accessed 2054 times total. Classification: HTML with images reload Page 3 of 4 AMS MSC: 54C20 (General topology :: Maps and general types of spaces defined by maps :: Extension of maps) http://planetmath.org/encyclopedia/ProofOfTietzeExtensionTheorem2.html 9/26/2006

Extensions of Birkhoff's theorem in six ... - Univers Invisible
univers2009.obspm.fr
p. 1 Math 490 Notes 23 Urysohn's Lemma and Tietze's Extension ...
math.wsu.edu
A geometrical proof of the Hartogs extension theorem (1906 ... - DMA
dma.ens.fr
Proof of Theorem 2 in ”Stochastic Evolutionary Stability in Extensive ...
wwwhomes.uni.bielefeld.de
Extension Theorems of Hahn-Banach Type for Nonlinear Disjointly ...
magz.elibraries.eu
an elementary proof of lebesgue's differentiation theorem
web.boun.edu.tr
Refinements, Extensions and Generalisations of a Theorem of ...
isid.ac.in
A simple proof of Bazzi's theorem
mi.ras.ru
Theorem Proof Theorem Proof - about the game of skat
skatgame.net
AN EXTENSION OF MILLOUX'S THEOREM TO HALF ... - EMIS
dsd.sztaki.hu
Proofs of the Grobman-Hartman theorems - Continued
mth.msu.edu
An Elementary Extension of Tietze's Theorem - MathDL
mathdl.maa.org
Theorem (Space Hierarchy) Proof of the Space Hierarchy Theorem ...
skatgame.net
Extension of Estermann's theorem to Euler products associated to a ...
univ.st.etienne.fr
An Extension of the LATEX-Theorem Evironment
mirror.hmc.edu
Extensions of Ky Fan section theorems and ... - Akademiai.com
u.szeged.hu
Extension of Some Common Fixed Point Theorems
ijapm.org
Details of the proof of the Master theorem - Ugrad.cs.ubc.ca
ugrad.cs.ubc.ca
An extension theorem for polynomials on triangles ∗
mat.puc.cl
A COMBINATORIAL PROOF OF MARSTRAND'S THEOREM FOR ...
preprint.impa.br
An Extension Theorem for Non-transitive Preferences
dep.unimore.it
KUMMER'S PROOF OF FERMAT'S LAST THEOREM FOR ...
imsc.res.in
A short proof and generalization of Lagrange's theorem on ...
faculty.plattsburgh.edu