In mathematics, an Fσ set (said F-sigma set) is a countable union of closed sets. The notation originated in French with F for fermé (French: closed) and σ for somme (French: sum, union).[1]

The complement of an Fσ set is a Gδ set.[1]

Fσ is the same as in the Borel hierarchy.

Examples edit

Each closed set is an Fσ set.

The set   of rationals is an Fσ set in  . More generally, any countable set in a T1 space is an Fσ set, because every singleton   is closed.

The set   of irrationals is not an Fσ set.

In metrizable spaces, every open set is an Fσ set.[2]

The union of countably many Fσ sets is an Fσ set, and the intersection of finitely many Fσ sets is an Fσ set.

The set   of all points   in the Cartesian plane such that   is rational is an Fσ set because it can be expressed as the union of all the lines passing through the origin with rational slope:

 

where   is the set of rational numbers, which is a countable set.

See also edit

References edit

  1. ^ a b Stein, Elias M.; Shakarchi, Rami (2009), Real Analysis: Measure Theory, Integration, and Hilbert Spaces, Princeton University Press, p. 23, ISBN 9781400835560.
  2. ^ Aliprantis, Charalambos D.; Border, Kim (2006), Infinite Dimensional Analysis: A Hitchhiker's Guide, Springer, p. 138, ISBN 9783540295877.