Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory object of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeOct 7th 2009
   • PermaLink
   Author: Urs
   Format: Markdowncreated [[Tietze extension theorem]]

   created Tietze extension theorem

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeOct 25th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItexI added a brief statement of the continuous version of the [[Tietze extension theorem]], but it's just a stub then I tried to polish the remark about the smooth version. My earlier version wasn't very good. I hope now it's a bit better.

   I added a brief statement of the continuous version of the Tietze extension theorem, but it’s just a stub

   then I tried to polish the remark about the smooth version. My earlier version wasn’t very good. I hope now it’s a bit better.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeJul 5th 2017
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have spelled out a proof of the Tietze extension theorem for continuous functions, [here](https://ncatlab.org/nlab/show/Tietze+extension+theorem#ForContinuousFunctions)

   I have spelled out a proof of the Tietze extension theorem for continuous functions, here

4. • CommentRowNumber4.
   • CommentAuthorDavidRoberts
   • CommentTimeSep 25th 2019
   • PermaLink
   Author: DavidRoberts
   Format: MarkdownItexAdded [[Taimanov theorem]] as related entry <a href="https://ncatlab.org/nlab/revision/diff/Tietze+extension+theorem/28">diff</a>, <a href="https://ncatlab.org/nlab/revision/Tietze+extension+theorem/28">v28</a>, <a href="https://ncatlab.org/nlab/show/Tietze+extension+theorem">current</a>

   Added Taimanov theorem as related entry

   diff, v28, current

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeJun 30th 2022
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to the original * [[Heinrich Tietze]], *Über Funktionen, die auf einer abgeschlossenen Menge stetig sind*, Journal f&uuml;r die reine und angewandte Mathematik, **145** (1915) &lbrack;[doi:10.1515/crll.1915.145.9](https://doi.org/10.1515/crll.1915.145.9)&rbrack; and to this early generalization (to codomains which may be locally convex topological vector spaces): * [[James Dugundji]], *An extension of Tietze's theorem*, Pacific Journal of Mathematics **1** 3 (1951) &lbrack;[doi:10.2140/pjm.1951.1.353](http://dx.doi.org/10.2140/pjm.1951.1.353), [pdf](https://msp.org/pjm/1951/1-3/pjm-v1-n3-p04-p.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Tietze+extension+theorem/31">diff</a>, <a href="https://ncatlab.org/nlab/revision/Tietze+extension+theorem/31">v31</a>, <a href="https://ncatlab.org/nlab/show/Tietze+extension+theorem">current</a>

   added pointer to the original

   • Heinrich Tietze, Über Funktionen, die auf einer abgeschlossenen Menge stetig sind, Journal für die reine und angewandte Mathematik, 145 (1915) [doi:10.1515/crll.1915.145.9]

   and to this early generalization (to codomains which may be locally convex topological vector spaces):

   • James Dugundji, An extension of Tietze’s theorem, Pacific Journal of Mathematics 1 3 (1951) [doi:10.2140/pjm.1951.1.353, pdf]

   diff, v31, current