84:
74:
53:
22:
251:
In topology, the Tietze extension theorem (also known as the Tietze–Urysohn–Brouwer extension theorem or
Urysohn-Brouwer lemma) states that any continuous, real-valued function on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary.
162:
The usual statement of the theorem assumes a bounded codomain, and yields an extension with the same codomain. The (possibly) unbounded version is also correct, but the bounded formulation makes explicit something useful that isn't stated in the unbounded version, namely that the extended function
140:
245:
201:
that invoked this theorem as part of the proof. I don't know if invoking it was really needed or not. I don't know if that counts as some "other branch of mathematics".
225:
continuous function on a closed subset can be extended, regardless of it's co-domain. However, the formal statement clearly states the the function's co-domain must be
303:
130:
163:
can be chosen to have the same bounds. This page would be more useful if this fact were added. (I will not do so, however, at least anytime soon.)
106:
298:
182:
How useful is this theorem to other branches of mathematics, or within functional analysis. This can be theoretical or practical. Cheers.
164:
275:
256:
202:
183:
97:
58:
33:
168:
260:
187:
279:
206:
39:
83:
21:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
228:
89:
73:
52:
271:
292:
198:
283:
264:
210:
191:
172:
102:
79:
274:
made the required change 8 minutes after you posted the above note.
15:
231:
221:
The opening line of the article seems to imply that
101:, a collaborative effort to improve the coverage of
239:
217:The Theorem Only Works for Real-Valued Functions
270:That seems correct to me. It would appear that
8:
47:
233:
232:
230:
49:
19:
7:
247:. I would suggest changing this to:
95:This article is within the scope of
38:It is of interest to the following
197:I recently read a proof about the
14:
304:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
1:
284:22:45, 17 November 2023 (UTC)
211:22:47, 17 November 2023 (UTC)
173:03:47, 27 December 2009 (UTC)
109:and see a list of open tasks.
299:C-Class mathematics articles
265:02:50, 9 November 2023 (UTC)
240:{\displaystyle \mathbb {R} }
320:
192:18:17, 4 April 2010 (UTC)
134:
67:
46:
141:project's priority scale
98:WikiProject Mathematics
254:
241:
28:This article is rated
249:
242:
229:
121:mathematics articles
237:
90:Mathematics portal
34:content assessment
155:
154:
151:
150:
147:
146:
311:
246:
244:
243:
238:
236:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
319:
318:
314:
313:
312:
310:
309:
308:
289:
288:
272:User:Mynus grey
227:
226:
219:
180:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
317:
315:
307:
306:
301:
291:
290:
287:
286:
235:
218:
215:
214:
213:
179:
176:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
316:
305:
302:
300:
297:
296:
294:
285:
281:
277:
273:
269:
268:
267:
266:
262:
258:
253:
248:
224:
216:
212:
208:
204:
200:
199:Warsaw circle
196:
195:
194:
193:
189:
185:
177:
175:
174:
170:
166:
165:128.255.45.80
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
276:67.198.37.16
257:72.104.11.76
255:
250:
222:
220:
203:67.198.37.16
184:92.129.155.3
181:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
178:Usefulness?
112:Mathematics
103:mathematics
59:Mathematics
293:Categories
158:Bounded
139:on the
30:C-class
36:scale.
280:talk
261:talk
207:talk
188:talk
169:talk
223:any
131:Mid
295::
282:)
263:)
209:)
190:)
171:)
278:(
259:(
234:R
205:(
186:(
167:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.