Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created Tietze extension theorem
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.
I have spelled out a proof of the Tietze extension theorem for continuous functions, here
Added Taimanov theorem as related entry
added pointer to the original
and to this early generalization (to codomains which may be locally convex topological vector spaces):
1 to 5 of 5