Show that no injection exists for those infinite sets

Click For Summary
SUMMARY

This discussion addresses the proof that no injection exists from infinite sets A to C given that there are no injections from A to B and from B to C. The user proposes a solution using function composition, asserting that if an injection f exists from A to C, it implies the existence of an injective function r from A to B, leading to a contradiction. The user concludes that the assumption of f being expressible as the composition of functions r and s is valid, reinforcing their proof strategy.

PREREQUISITES
  • Understanding of set theory, particularly infinite sets
  • Knowledge of function composition in mathematics
  • Familiarity with injective functions and their properties
  • Basic proof techniques in mathematical logic
NEXT STEPS
  • Study the properties of injective functions in set theory
  • Explore function composition and its implications in proofs
  • Research alternative proofs for the non-existence of injections between infinite sets
  • Examine the Schroeder-Bernstein theorem and its applications
USEFUL FOR

Mathematicians, students of set theory, and anyone interested in advanced proof techniques related to infinite sets and injections.

andytoh
Messages
357
Reaction score
3
Let A,B,C be infinite sets. Suppose there is no injection from A to B and no injection from B to C. Prove there is no injection from A to C (without using cardinality and Schroeder-Bernstein).

My current solution:
Let f:A-> C. Assume f= s.r (. means composition), where r:A-> B and s:B-> C. If f is injective, then so is r (already proven), a contradiction. But what if we can't assume f= s.r?
 
Last edited:
Physics news on Phys.org
So f=s.r must be true?
 
So, I'll stick with my current proof.
 

Similar threads

Replies
3
Views
1K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 12 ·
Replies
12
Views
5K
Replies
6
Views
2K
Replies
3
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K