1
$\begingroup$

From Wikipedia:

If the space $X$ is sequential, we may say that $x ∈ X$ is a limit point of a subset $S$ if and only if there is an $ω$-sequence of points in $S - \{x\}$ whose limit is $x$; hence, $x$ is called a limit point.

I was wondering how an $ω$-sequence of points is defined? Is $\omega$ a special ordinal?

How is the limit of an $ω$-sequence of points defined?

Thanks and regards!

  • 0
    @MartinSleziak: Thanks!2012-01-31

1 Answers 1

2

Yes, $\omega$ is the first infinite ordinal. This means that the indices range over all ordinals $<\omega$, that is, the non-negative integers, which are often defined as the finite ordinals.

A similar definition would work for any ordinal $\lambda$. The indices then range over all ordinals $<\lambda$.

For example, if $n$ is a non-negative integer, viewed as an ordinal, then an $n$-sequence has indices ranging over the $n$ (informal) ordinals $, that is, over the ordinals $0,1,\dots,n-1$.

But we could let $\lambda$ be an ordinal $>\omega$. It seems to me you are unlikely to bump into them soon. You can view $\omega$-sequence as an excessively fancy name for an ordinary infinite sequence in the usual sense.