525:
20:
229:
330:
356:
378:
265:
161:
137:
107:
70:
113:
that include the west edge, southwest corner, and south edge, and omit the southeast corner, east edge, northeast corner, north edge, and northwest corner.
384:. Thus it serves as a counterexample to the notion that the product of normal spaces is normal; in fact, it shows that even the finite product of
566:
498:
450:
442:
23:
An illustration of the anti-diagonal and an open rectangle in the
Sorgenfrey plane that meets the anti-diagonal at a single point.
173:
274:
585:
559:
481:
73:
590:
552:
476:
461:
385:
427:
335:
268:
361:
248:
144:
120:
90:
53:
486:
397:
494:
472:
446:
164:
77:
84:
508:
358:
are closed sets; it can be proved that they cannot be separated by open sets, showing that
504:
490:
243:
239:
232:
44:
536:
434:
415:
235:
36:
579:
40:
420:
381:
402:
19:
524:
110:
48:
532:
114:
76:. The Sorgenfrey line and plane are named for the American mathematician
28:
459:
Robert
Sorgenfrey, "On the topological product of paracompact spaces",
39:
to many otherwise plausible-sounding conjectures. It consists of the
18:
267:. It shows that separability does not inherit to closed
224:{\displaystyle \Delta =\{(x,-x)\mid x\in \mathbb {R} \}}
540:
364:
338:
277:
251:
176:
147:
123:
93:
56:
167:
that is not itself a Lindelöf space. The so-called
419:
372:
350:
325:{\displaystyle K=\{(x,-x)\mid x\in \mathbb {Q} \}}
324:
259:
223:
155:
131:
101:
64:
163:is an example of a space that is a product of
560:
489:reprint of 1978 ed.). Berlin, New York:
8:
319:
284:
218:
183:
16:Frequently-cited counterexample in topology
567:
553:
366:
365:
363:
337:
315:
314:
276:
253:
252:
250:
214:
213:
175:
149:
148:
146:
125:
124:
122:
95:
94:
92:
58:
57:
55:
238:subset of this space, and this is a non-
342:
109:from now on, is therefore the set of
7:
521:
519:
351:{\displaystyle \Delta \setminus K}
339:
177:
87:for the Sorgenfrey plane, denoted
14:
523:
139:are unions of such rectangles.
302:
287:
201:
186:
1:
539:. You can help Knowledge by
373:{\displaystyle \mathbb {S} }
260:{\displaystyle \mathbb {S} }
156:{\displaystyle \mathbb {S} }
132:{\displaystyle \mathbb {S} }
102:{\displaystyle \mathbb {S} }
65:{\displaystyle \mathbb {R} }
482:Counterexamples in Topology
74:half-open interval topology
607:
518:
386:perfectly normal spaces
477:Seebach, J. Arthur Jr.
462:Bull. Amer. Math. Soc.
374:
352:
326:
261:
225:
157:
133:
103:
66:
35:is a frequently-cited
24:
375:
353:
327:
262:
226:
158:
134:
104:
67:
43:of two copies of the
22:
388:need not be normal.
362:
336:
275:
249:
174:
145:
121:
91:
54:
586:Topological spaces
473:Steen, Lynn Arthur
398:List of topologies
370:
348:
322:
257:
221:
153:
129:
99:
62:
25:
548:
547:
500:978-0-486-68735-3
78:Robert Sorgenfrey
598:
569:
562:
555:
533:topology-related
527:
520:
512:
456:
439:General Topology
431:
425:
422:General Topology
379:
377:
376:
371:
369:
357:
355:
354:
349:
331:
329:
328:
323:
318:
266:
264:
263:
258:
256:
230:
228:
227:
222:
217:
162:
160:
159:
154:
152:
138:
136:
135:
130:
128:
108:
106:
105:
100:
98:
71:
69:
68:
63:
61:
33:Sorgenfrey plane
606:
605:
601:
600:
599:
597:
596:
595:
576:
575:
574:
573:
516:
501:
491:Springer-Verlag
471:
468:(1947) 631–632.
453:
443:Springer-Verlag
435:Kelley, John L.
433:
416:Kelley, John L.
414:
411:
394:
360:
359:
334:
333:
273:
272:
247:
246:
244:separable space
172:
171:
165:Lindelöf spaces
143:
142:
119:
118:
89:
88:
52:
51:
47:, which is the
45:Sorgenfrey line
17:
12:
11:
5:
604:
602:
594:
593:
591:Topology stubs
588:
578:
577:
572:
571:
564:
557:
549:
546:
545:
528:
514:
513:
499:
469:
457:
451:
410:
407:
406:
405:
400:
393:
390:
368:
347:
344:
341:
321:
317:
313:
310:
307:
304:
301:
298:
295:
292:
289:
286:
283:
280:
255:
242:subset of the
220:
216:
212:
209:
206:
203:
200:
197:
194:
191:
188:
185:
182:
179:
151:
127:
97:
60:
37:counterexample
15:
13:
10:
9:
6:
4:
3:
2:
603:
592:
589:
587:
584:
583:
581:
570:
565:
563:
558:
556:
551:
550:
544:
542:
538:
535:article is a
534:
529:
526:
522:
517:
510:
506:
502:
496:
492:
488:
484:
483:
478:
474:
470:
467:
464:
463:
458:
454:
452:0-387-90125-6
448:
444:
440:
436:
432:Reprinted as
429:
424:
423:
417:
413:
412:
408:
404:
401:
399:
396:
395:
391:
389:
387:
383:
345:
311:
308:
305:
299:
296:
293:
290:
281:
278:
270:
245:
241:
237:
234:
210:
207:
204:
198:
195:
192:
189:
180:
170:
169:anti-diagonal
166:
140:
116:
112:
86:
81:
79:
75:
50:
46:
42:
38:
34:
30:
21:
541:expanding it
530:
515:
480:
465:
460:
438:
428:van Nostrand
421:
271:. Note that
168:
141:
82:
32:
26:
403:Moore plane
233:uncountable
580:Categories
409:References
111:rectangles
72:under the
479:(1995) .
343:∖
340:Δ
312:∈
306:∣
297:−
269:subspaces
240:separable
211:∈
205:∣
196:−
178:Δ
115:Open sets
49:real line
437:(1975).
418:(1955).
392:See also
236:discrete
29:topology
509:0507446
380:is not
41:product
507:
497:
449:
382:normal
231:is an
31:, the
531:This
487:Dover
85:basis
537:stub
495:ISBN
447:ISBN
332:and
117:in
27:In
582::
505:MR
503:.
493:.
475:;
466:53
445:.
441:.
426:.
83:A
80:.
568:e
561:t
554:v
543:.
511:.
485:(
455:.
430:.
367:S
346:K
320:}
316:Q
309:x
303:)
300:x
294:,
291:x
288:(
285:{
282:=
279:K
254:S
219:}
215:R
208:x
202:)
199:x
193:,
190:x
187:(
184:{
181:=
150:S
126:S
96:S
59:R
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.