Edge Rewrite
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a221b91c0fcda0d6

Jump to content

// Workers AI · dad joke modeWhat did Fort space say to its friend? You're out of this world.

From Wikipedia, the free encyclopedia

In mathematics, there are a few topological spaces named after M. K. Fort, Jr.

Fort space

[edit]

Fort space[1] is defined by taking an infinite set X, with a particular point p in X, and declaring open the subsets A of X such that:

  • A does not contain p, or
  • A contains all but a finite number of points of X.

The subspace has the discrete topology and is open and dense in X. The space X is homeomorphic to the one-point compactification of an infinite discrete space.

Modified Fort space

[edit]

Modified Fort space[2] is similar but has two particular points. So take an infinite set X with two distinct points p and q, and declare open the subsets A of X such that:

  • A contains neither p nor q, or
  • A contains all but a finite number of points of X.

The space X is compact and T1, but not Hausdorff.

Fortissimo space

[edit]

Fortissimo space[3] is defined by taking an uncountable set X, with a particular point p in X, and declaring open the subsets A of X such that:

  • A does not contain p, or
  • A contains all but a countable number of points of X.

The subspace has the discrete topology and is open and dense in X. The space X is not compact, but it is a Lindelöf space. It is obtained by taking an uncountable discrete space, adding one point and defining a topology such that the resulting space is Lindelöf and contains the original space as a dense subspace. Similarly to Fort space being the one-point compactification of an infinite discrete space, one can describe Fortissimo space as the one-point Lindelöfication[4] of an uncountable discrete space.

See also

[edit]

Notes

[edit]
  1. Steen & Seebach, Examples #23 and #24
  2. Steen & Seebach, Example #27
  3. Steen & Seebach, Example #25
  4. "One-point Lindelofication". May 2014.

References

[edit]