Eine topologische Eigenschaft: Ein Raum hat die Fréchet–Urysohn‑Eigenschaft, wenn für jeden Punkt x, der zur Abschlussmenge einer Teilmenge A gehört, eine Folge von Punkten aus A existiert, die gegen x konvergiert; äquivalent ist der sequentielle Abschluss jeder Menge gleich ihrem Abschluss.

Prinzip

Folgen genügen, um Abschlüsse zu erkennen: Grenzwerte von Folgen aus einer Menge erfassen alle Abschlusspunkte, sodass sequentielle Methoden Netze oder Filter bei Abschlussfragen ersetzen können.

Demonstration

Jeder metrische Raum (und allgemein jeder erstabzählbar lokalisierte Raum) ist Fréchet–Urysohn: Befindet sich x im Abschluss von A, so wählt man eine abzählbare lokale Basis in x und entnimmt aus jedem Umgebungsstück ein Element von A, womit sich eine konvergente Folge konstruiert.

Fehlanwendung

Anzunehmen, ein Raum sei Fréchet–Urysohn, bloß weil er sequentiell ist oder weil Beweise mit Folgen in bestimmten Fällen funktionieren; sequentielle Räume sind schwächer, und es existieren sequentielle, aber nicht Fréchet–Urysohn Räume.

Konsequenz

Viele klassische Argumente werden vereinfacht: Mit Folgen zu arbeiten genügt für Prüfungen von Abschluss und Stetigkeit, und Argumente zur sequentiellen Kompaktheit gewinnen an Aussagekraft, weil sequentielle Konvergenz das Abschlussverhalten vollständig erfasst.

Umkehrung

In einem nicht‑Fréchet–Urysohn Raum gibt es einen Punkt im Abschluss einer Menge A, der nicht der Grenzwert irgendeiner Folge aus A ist; solche Räume erzwingen den Einsatz von Netzen oder Filtern und zeigen echte topologische Komplexität.

Abgrenzung

Gilt für allgemeine topologische Räume; sie ist streng stärker als die Eigenschaft 'sequentiell' und streng schwächer als die erste Abzählbarkeit im Allgemeinen. Die Eigenschaft betrifft nur die Erkennung von Abschlüssen, nicht andere Abzählbarkeitsbedingungen.

Semantische Spannung

Semantische Spannung besteht gegenüber der ersten Abzählbarkeit und der weiter gefassten Klasse sequentieller Räume: Erste Abzählbarkeit impliziert Fréchet–Urysohn, Fréchet–Urysohn impliziert sequentiell, doch die Umkehrungen gelten nicht allgemein.

Synthese

Die Fréchet–Urysohn‑Eigenschaft verlangt, dass Folgen als genügende Zeugen für Abschlüsse dienen: sie verringert die Lücke zwischen folgenreicher Intuition und dem vollständigen topologischen Abschluss und erlaubt sequentielle Techniken dort, wo sie sonst versagen würden.