2
$\begingroup$

Prerequisites in case you may need and I am correct about them:

An entourage is a member of uniformity structure on a set for it to be a uniform space. Intuitively, an entourage is a relation on a set, such that it specifies those pairs of points, the "between-distance" for each pair being bounded by some "value" specified by the entourage. It is easier to understand for a metric space, which is an example of uniform space.


  1. The definition I know for a Cauchy sequence in a uniform space is

    A sequence $(x_i)$ is a Cauchy sequence if for every entourage $V$ there exists $n \in \mathbb{N}$ such that for all $i, j ≥ n$, $(x_i, x_j)$ is a member of $V$.

  2. From Planetmath, the definition for a Cauchy sequence in a uniform space is

    A Cauchy sequence $x_i$ in a uniform space $X$ is a sequence in $X$ whose section filter is a Cauchy filter,

    where the section filter of a sequence is defined to be the maximal proper filter containing the filter base generated by the sequence, if I understand its definition correctly.

  3. This definition of Cauchy sequence surprises me, because I was thinking instead

    A Cauchy sequence $x_i$ in a uniform space $X$ is a sequence in $X$ whose filter is a Cauchy filter,

    where the filter of a sequence is the minimal filter containing the filter base generated by the sequence.

So I wonder if the three definitions are equivalent?

Thanks and regards!

  • 0
    @BrianM.Scott: I was just kidding. Thanks for your understanding!2012-02-20

1 Answers 1

2

The equivalence of (1) and (3) is standard. The PlanetMath definition of section filter is simply wrong: it doesn’t define a unique object, since the filter generated by the sections (or tails, as I prefer to call them) may have many maximal extensions.