I What is the concept of monotone limits?

  • I
  • Thread starter Thread starter jdou86
  • Start date Start date
  • Tags Tags
    Limits
AI Thread Summary
The discussion centers on the concept of monotone limits in the context of probability theory and the confusion surrounding their definitions. Monotone limits are defined for non-decreasing and non-increasing sequences of subsets, with the former represented by the union of the sets and the latter by their intersection. Participants express concern over the terminology used in a referenced book, suggesting that it inaccurately labels both types as "the monotone limit." Clarification is sought to distinguish between the monotone increasing limit and the monotone decreasing limit. The conversation highlights the importance of precise language in mathematical definitions to avoid confusion.
jdou86
Messages
34
Reaction score
1
TL;DR Summary
Hi all I would like to understand this concept please help.
Summary: Hi all I would like to understand this concept please help.

I understand the montonic convergence theorem this is from a probability theory book and I am confused on understanding it. Please help me understand it.

Thank you very much,Jon.
242645
 
Physics news on Phys.org
You leave a bit of guesswork here: what is ##\mathcal{C}##, is the assumed order given by inclusion, and what is the purpose of these limits?

Anyway, the most likely interpretation is a definition of the term monotone limit.

Given a non-decreasing flag of subsets ##A_1\subseteq A_2 \subseteq \ldots A_n \subseteq \ldots \,##, i.e. the set ##A_{n+1}## which follows ##A_n## is either equal to ##A_n## or properly includes ##A_n##, then the union of all is called (defined) the monotone limit of ##\{\,A_n\,:\,n\in \mathbb{N}\,\}##.
Notation: ##\lim_{n\to \infty}A_n = \bigcup_{n=1}^\infty A_n##

Given a non-increasing flag of subsets ##A_1\supseteq A_2 \supseteq \ldots A_n \supseteq \ldots \,##, i.e. the set ##A_{n+1}## which follows ##A_n## is either equal to ##A_n## or properly included in ##A_n##, then the intersection of all is called (defined) the monotone limit of ##\{\,A_n\,:\,n\in \mathbb{N}\,\}##.
Notation: ##\lim_{n\to \infty}A_n = \bigcap_{n=1}^\infty A_n##

I'm not sure what the book actually says, but to call both by the same name can be confusing. In both cases, it is the set at the "end" of the flags, the set which either includes all ##A_n##, resp. the set that is included in all ##A_n##.
 
  • Informative
  • Like
Likes jdou86 and Klystron
ah than you very much that helpt me understood it, here are some supplimentary info in case you want it. It's a book called a probability path intended for grad students.

Thanks,
Jon
242718
242719
 
I agree. If the book calls both these "THE monotone limit", this is a linguistic error, since there are two of them.

The first one should be called "The monotone increasing limit", and the second "The monotone decreasing limit", or something like that.
 
Erland said:
I agree. If the book calls both these "THE monotone limit", this is a linguistic error, since there are two of them.

The first one should be called "The monotone increasing limit", and the second "The monotone decreasing limit", or something like that.
thankfully he called it monotone limits
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top