MHB JPARK 's question at Yahoo Answers (Cardinality)

  • Thread starter Thread starter Fernando Revilla
  • Start date Start date
  • Tags Tags
    Cardinality
Click For Summary
To demonstrate that if |A| ≤ |B| and |B| ≤ |C|, then |A| ≤ |C|, one can use the concept of injective functions. If there exists an injective function f from set A to set B and an injective function g from set B to set C, then the composition of these functions, g ∘ f, creates an injective function from A to C. This shows that |A| is less than or equal to |C|, confirming the transitive property of cardinality. The response effectively clarifies the relationship between the sets and the implications of injective mappings. Understanding these concepts is crucial for grasping cardinality in set theory.
Fernando Revilla
Gold Member
MHB
Messages
631
Reaction score
0
Here is the question:

My professor wasn't clear in lecture today, so I'm not exactly sure how I should show this...Can anyone help?

Let A,B,C be sets. Show that if |A| ≤ |B| and |B| ≤ |C|, then |A| ≤ |C|

Here is a link to the question:

Cardinality of Sets Homework Problem? - Yahoo! Answers

I have posted a link there to this topic so the OP can find my response.
 
Mathematics news on Phys.org
Hello JPARK, $$|A|\leq |B|\Leftrightarrow \exists f:A\to B\mbox{ injective}\\
|B|\leq |C|\Leftrightarrow \exists g:B\to C\mbox{ injective}$$ But $g\circ f:A\to C$ is injective (the composition of injective maps is injective), hence $|A|\leq |C|$.
 
Thread 'Erroneously  finding discrepancy in transpose rule'
Obviously, there is something elementary I am missing here. To form the transpose of a matrix, one exchanges rows and columns, so the transpose of a scalar, considered as (or isomorphic to) a one-entry matrix, should stay the same, including if the scalar is a complex number. On the other hand, in the isomorphism between the complex plane and the real plane, a complex number a+bi corresponds to a matrix in the real plane; taking the transpose we get which then corresponds to a-bi...

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K