Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $X$ be some set, and let $A,B\subset X$. By $1_A(x)$ let us mean the indicator/characteristic function. Let $(x_n)_{n\in \Bbb N}$ be some sequence in $X$. I have an expression of the form $$ \left(\limsup_n 1_A(x_n)\right)\cdot\left(\liminf_n 1_B(x_n)\right) \tag{1} $$ which equals $1$ exactly when $(x_n)_n$ visits $A$ infinitely often, and $B^c$ only finitely often. It is possible to rewrite $(1)$ in a simpler shape, e.g. something like $\limsup f(x_n)$ where $f$ is not necessary an indicator?

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.