The difference between a family of sets and an indexed family of sets

  • Context: Undergrad 
  • Thread starter Thread starter Simonel
  • Start date Start date
  • Tags Tags
    Difference Sets
Click For Summary
SUMMARY

The discussion clarifies the distinction between a family of sets and an indexed family of sets. An indexed family of sets is labeled, allowing for easier reference to its subsets, while a family of sets lacks such labeling, complicating subset identification. For example, the family of sets defined as ##\{\,[-\frac{1}{n},\frac{1}{n}] \,:\,n \in \mathbb{N}\,\}## can be indexed by ##n \in \mathbb{N}##, whereas the family of all subsets of ##\mathbb{R}## containing ##\pi## cannot be explicitly indexed, though it can be represented formally.

PREREQUISITES
  • Understanding of set theory concepts
  • Familiarity with indexed families of sets
  • Knowledge of mathematical notation and symbols
  • Basic comprehension of unions in set theory
NEXT STEPS
  • Study the formal definitions of families of sets and indexed families of sets
  • Explore examples of indexed families in advanced set theory
  • Learn about unions of sets and their properties
  • Investigate the implications of indexing in mathematical proofs
USEFUL FOR

Mathematicians, students of advanced mathematics, and educators seeking to deepen their understanding of set theory and its applications.

Simonel
Messages
4
Reaction score
1
What is the difference between family of sets and indexed family of sets ??
 
Physics news on Phys.org
Simonel said:
What is the difference between family of sets and indexed family of sets ??
None, one is labeled (indexed) and the other one is not, which makes it difficult to refer to a subset of them.

Sometimes the index is rather formal without any specification.

E.g. it's easy to index the family ##\{\,[-\frac{1}{n},\frac{1}{n}] \,:\,n \in \mathbb{N}\,\}## by ##n \in \mathbb{N}## such that we get ##\{\, [-\frac{1}{n},\frac{1}{n}]\,\,: \,n \in \mathbb{N}\}=\{\,I_n\,\}_{n \in \mathbb{N}}## with ##I_n :=[-\frac{1}{n},\frac{1}{n}]##. Occasionally such families are written as a union.

On the other hand, if we define the family of all subsets of ##\mathbb{R}## which contain ##\pi ##, then there is no explicit indexing possible. Yet we can write ##\mathcal{F} = \{\, S \subseteq \mathbb{R}\, : \, \pi \in S \,\}## as ##\mathcal{F} = \{S_\iota\}_{\iota \in I}\; , \;\pi \in S_\iota ## which gives us a formal index set, although we cannot name it.
 
Last edited:
  • Like
Likes   Reactions: Simonel and jedishrfu

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 25 ·
Replies
25
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K