Skip to main content
formating error
Source Link
Goldstern
  • 14k
  • 1
  • 47
  • 71

Let $\omega$ be a nonprincipal ultrafilter on $\mathbb N$.

A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique real value $x_\omega$ such that
$$\{\\,n\in\mathbb N\mid |x_\omega-x_n|<\varepsilon\\,\}\in \omega$$$$\{\,n\in\mathbb N\mid |x_\omega-x_n|<\varepsilon\,\}\in \omega$$ for any $\varepsilon>0$.

Clearly $x_\omega$ is a partial limit of $x_n$ [i.e., $x_\omega$ is a limit of a subsequence of $(x_n)$].

Question. Is it always possible to choose subsequence $(x_n)$, $n\in J$ converging to $x_\omega$ and such that $J\in\omega$?

Let $\omega$ be a nonprincipal ultrafilter on $\mathbb N$.

A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique real value $x_\omega$ such that
$$\{\\,n\in\mathbb N\mid |x_\omega-x_n|<\varepsilon\\,\}\in \omega$$ for any $\varepsilon>0$.

Clearly $x_\omega$ is a partial limit of $x_n$ [i.e., $x_\omega$ is a limit of a subsequence of $(x_n)$].

Question. Is it always possible to choose subsequence $(x_n)$, $n\in J$ converging to $x_\omega$ and such that $J\in\omega$?

Let $\omega$ be a nonprincipal ultrafilter on $\mathbb N$.

A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique real value $x_\omega$ such that
$$\{\,n\in\mathbb N\mid |x_\omega-x_n|<\varepsilon\,\}\in \omega$$ for any $\varepsilon>0$.

Clearly $x_\omega$ is a partial limit of $x_n$ [i.e., $x_\omega$ is a limit of a subsequence of $(x_n)$].

Question. Is it always possible to choose subsequence $(x_n)$, $n\in J$ converging to $x_\omega$ and such that $J\in\omega$?

nonprinciple -> nonprincipal
Source Link
Joel David Hamkins
  • 236.3k
  • 44
  • 777
  • 1.4k

Let $\omega$ be a nonprinciplenonprincipal ultrafilter on $\mathbb N$.

A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique real value $x_\omega$ such that
$$\{\\,n\in\mathbb N\mid |x_\omega-x_n|<\varepsilon\\,\}\in \omega$$ for any $\varepsilon>0$.

Clearly $x_\omega$ is a partial limit of $x_n$ [i.e., $x_\omega$ is a limit of a subsequence of $(x_n)$].

Question. Is it always possible to choose subsequence $(x_n)$, $n\in J$ converging to $x_\omega$ and such that $J\in\omega$?

Let $\omega$ be a nonprinciple ultrafilter on $\mathbb N$.

A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique real value $x_\omega$ such that
$$\{\\,n\in\mathbb N\mid |x_\omega-x_n|<\varepsilon\\,\}\in \omega$$ for any $\varepsilon>0$.

Clearly $x_\omega$ is a partial limit of $x_n$ [i.e., $x_\omega$ is a limit of a subsequence of $(x_n)$].

Question. Is it always possible to choose subsequence $(x_n)$, $n\in J$ converging to $x_\omega$ and such that $J\in\omega$?

Let $\omega$ be a nonprincipal ultrafilter on $\mathbb N$.

A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique real value $x_\omega$ such that
$$\{\\,n\in\mathbb N\mid |x_\omega-x_n|<\varepsilon\\,\}\in \omega$$ for any $\varepsilon>0$.

Clearly $x_\omega$ is a partial limit of $x_n$ [i.e., $x_\omega$ is a limit of a subsequence of $(x_n)$].

Question. Is it always possible to choose subsequence $(x_n)$, $n\in J$ converging to $x_\omega$ and such that $J\in\omega$?

Source Link
Anton Petrunin
  • 45k
  • 14
  • 135
  • 299

Ultralimit versus partial limit

Let $\omega$ be a nonprinciple ultrafilter on $\mathbb N$.

A standard construction gives an $\omega$-limit, say $x_\omega$, for any bounded sequence $(x_n)$ of real numbers. Namely, there is unique real value $x_\omega$ such that
$$\{\\,n\in\mathbb N\mid |x_\omega-x_n|<\varepsilon\\,\}\in \omega$$ for any $\varepsilon>0$.

Clearly $x_\omega$ is a partial limit of $x_n$ [i.e., $x_\omega$ is a limit of a subsequence of $(x_n)$].

Question. Is it always possible to choose subsequence $(x_n)$, $n\in J$ converging to $x_\omega$ and such that $J\in\omega$?