2
$\begingroup$

Let $X$ be a topological space with a Borel $\sigma$-algebra $\mathcal B(X)$. There is a family of probability measure on $X$, which is denoted as $P:X\times \mathcal B(X)\to[0,1]$.

I would like to consider a family with a following property:

For any non-empty open set $B$ there exists $x\in X$ such that $P(x,B)>0$.

Roughly speaking, the support of family of measures $\{P(x,\cdot)\}_{x\in X}$ is the whole space $X$. I wonder if it can be said formally. It is not irreducibility of a Markov chain, since the chain can admit this property being reducible and may not admit this property being irreducible.

The support of measure is defined as $$ \operatorname{supp}\mu = \{x\in X:\mu(U(x))>0\forall \text{ open neighborhood }U(x) \}. $$

I guess that the support of family of measures should be defined like this $$ \operatorname{supp}P:=\overline{\bigcup\limits_{x\in X}\operatorname{supp}P(x,\cdot)} $$ but first, it's not clear if $\operatorname{supp}P=X$ is equivalent to my condition, second, I had no chance to find this definition of $\operatorname{supp}P$ in the literature and finally this definition seems a bit weird cause there is an infinite union of closed sets.

  • 0
    Just for a fixed $x$, so you have a single probability measure $Q=P(x,\cdot)$, what do you mean by the support? If you let $S$ be the intersection of all closed sets $E$ with $Q(E)=1$, then I don't think it follows that $Q(S)=1$. So, there does not have to be such a thing as the minimal closed set on which $Q(S)=1$, which is how you might want to define the support. There does, if you require $Q$ to be inner regular on open sets.2011-09-24
  • 0
    But, if $P(x,\cdot)$ does have a support for every $x$, then there will be a minimal closed set $S$ on which $P(x,S)=1$ for all $x$, which is exactly what you wrote for ${\rm supp}P$. Equivalently, $S$ is closed such that $P(x,S)=1$ for all $x$ and, for every open $U$ with $U\cap S\not=\emptyset$, there is an $x$ with $P(x,U\cap S) > 0$. Your condition is equivalent to $S=X$. Well, it would be if you had required $B$ to be a *nonempty* open set.2011-09-24
  • 0
    @George: Thanks for the correction and for the attention - I fixed the non-emptyness of $B$, also added the definition of support of measure I meant. I didn't understand your first sentence in the last comment: which support do you mean?2011-09-24
  • 0
    I was thinking of the support of a probability measure as the smallest closed set with probability 1. This does not exist in general. You could define the support as the intersection of all closed sets with probability 1 - as (in different words) Wikipedia does. In general, though, this does not have to have probability 1.2011-09-27
  • 0
    Regards your question, "support of a family of measures" seems like a good description of what you define. I'm not aware of the term being used elsewhere though.2011-09-27
  • 0
    @GeorgeLowther: Could you please formulate your comments as an answer? I will accept it.2011-09-29
  • 0
    I'll try and do that tonight2011-09-30
  • 0
    @GeorgeLowther: Thank you. Btw, if I type your name and surname without a space, isn't it offensive? There is a pop-up window which suggests me to type that way - otherwise I'm afraid you won't receive the message.2011-09-30
  • 0
    No, not really. I think "offensive" is a bit of an overstatement. Just using first name should be fine (unless the other user called George happens to be in the same thread).2011-09-30
  • 0
    @GeorgeLowther: ok, thank you for the clarification2011-10-08

0 Answers 0