Understanding the Definition of Stopping Times in Set Theory

  • Context: Graduate 
  • Thread starter Thread starter cappadonza
  • Start date Start date
Click For Summary
SUMMARY

The discussion clarifies the definition of stopping times in set theory, specifically regarding the set \(\mathcal{S} = \{ A \in \mathcal{F} \colon A \cap B_{n} \in \mathcal{F}_n \forall n \in \mathbb{N} \}\). For an element \(A\) to be a member of set \(\mathcal{S}\), it is established that \(A\) must satisfy the condition \(A \cap B_{n} \in \mathcal{F}_n\) for all natural numbers \(n\). The correct interpretation is that all conditions must be met for each \(B_{n}\) in the sequence, confirming that \(A\) belongs to the collection if it meets the criteria for every \(n\).

PREREQUISITES
  • Understanding of set theory concepts, particularly collections of sets
  • Familiarity with sequences and indexing in mathematics
  • Knowledge of the notation used in set theory, such as intersections and membership
  • Basic comprehension of natural numbers and their properties
NEXT STEPS
  • Study the properties of collections of sets in advanced set theory
  • Learn about the implications of stopping times in probability theory
  • Explore the concept of sigma-algebras and their relation to stopping times
  • Investigate the applications of stopping times in stochastic processes
USEFUL FOR

Mathematicians, students of advanced set theory, and researchers in probability theory who seek a deeper understanding of stopping times and their implications in various mathematical contexts.

cappadonza
Messages
26
Reaction score
0
Hi this is more of a set theory question really, I'm a bit confused,

say [tex]\mathcal{F}[/tex] is collections of sets, and [tex]\mathcal{F}_n[/tex] is a sequence of sub collections of sets and say [tex]B_{1}, B_{2} ...[/tex] is a sequence of sets
what does the following mean [tex]\mathcal{S} = \{ A \in \mathcal{F} \colon A \cap B_{n} \in \mathcal{F}_n \forall n \in \mathbb{N} \}[/tex]

for an element to be a member of the set [tex]\mathcal{S}[/tex] which of the conditons must be statisfy
does this mean if [tex]A \cap B_{1} \in \mathcal{F}_1 , \space A \cap B_{2} \in \mathcal{F}_2 ...[/tex] then it belongs to the set or
does it mean all these conditons must be met of it to be a members of the set [tex]A \cap B_{1} \in \mathcal{F}_1 , \space A \cap B_{1} \in \mathcal{F}_2 , \space A \cap B_{1} \in \mathcal{F}_3 ...[/tex] for each [tex]B_{1}, B_{2} ...[/tex]
 
Physics news on Phys.org
The first is the correct interpretation, if [itex]A \cap B_1\in\mathcal{F}_1[/itex] and [itex]A \cap B_2\in\mathcal{F}_2[/itex], etc., for all n = 1, 2,..., then A is in the collection.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K