Cardinality of a infinite subset

  • Context: MHB 
  • Thread starter Thread starter lamsung
  • Start date Start date
  • Tags Tags
    Cardinality Infinite
Click For Summary
SUMMARY

The discussion centers on the cardinality of infinite sets and their subsets. It establishes that if a set has cardinality m, then no subset can have a cardinality greater than m, even in the case of infinite sets. This conclusion is supported by the Cantor–Bernstein–Schroeder theorem, which asserts that an injection from a set A to a subset B cannot exist if B has a greater cardinality than A. The conversation emphasizes the importance of defining cardinality m in specific contexts.

PREREQUISITES
  • Understanding of cardinality in set theory
  • Familiarity with the Cantor–Bernstein–Schroeder theorem
  • Basic knowledge of injections and set inclusions
  • Concept of infinite sets in mathematics
NEXT STEPS
  • Study the Cantor–Bernstein–Schroeder theorem in detail
  • Explore the concept of cardinality in infinite sets
  • Learn about injections and their implications in set theory
  • Investigate examples of infinite sets and their subsets
USEFUL FOR

Mathematicians, students of set theory, and anyone interested in the properties of infinite sets and cardinality.

lamsung
Messages
5
Reaction score
0
I saw the below statement which is intuitively correct:

If a set has cardinality m then none of its subsets has cardinality greater than m.

Is it necessarily true for a infinite set case?
 
Physics news on Phys.org
lamsung said:
If a set has cardinality m then none of its subsets has cardinality greater than m.

Is it necessarily true for a infinite set case?
Of course. If a subset $B$ of $A$ has cardinality strictly greater than the cardinality of $A$ itself, then there is an injection from $A$ to $B$, but not from $B$ to $A$, by the Cantor–Bernstein–Schroeder theorem. For an infinite setm, it is possible to have an injection into a proper subset, but there is also a trivial injection (inclusion) from a subset to the whole set.

If you need more details, tell us what $m$ is here and what is the definition in your context of having cardinality $m$ or greater than $m$.
 

Similar threads

  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
6
Views
2K
  • · Replies 86 ·
3
Replies
86
Views
9K