Is There a Bijection from A to X if B is a Subset of X?

  • Thread starter Thread starter aaaa202
  • Start date Start date
  • Tags Tags
    Bijection
Click For Summary

Homework Help Overview

The discussion revolves around the existence of a bijection from set A to set X, given that B is a subset of X and there exists a bijection from A to B. The subject area involves concepts of set theory and cardinality.

Discussion Character

  • Conceptual clarification, Assumption checking, Mixed

Approaches and Questions Raised

  • Participants explore whether a bijection can exist from A to X when A is already mapped to B, questioning which elements of A would map to the elements in X that are not in B. There is also a discussion on the implications of cardinality for finite versus infinite sets.

Discussion Status

The discussion is active, with participants offering differing perspectives on the conditions under which a bijection may or may not exist. Some suggest clarifying the relationship between B and X, while others propose examples to illustrate their points. There is no explicit consensus, but various interpretations and considerations are being explored.

Contextual Notes

There is mention of the need to specify whether B is a proper subset of X. Additionally, the discussion touches on the cardinality of sets, particularly in the context of finite and infinite sets, and the implications of these properties on the existence of bijections.

aaaa202
Messages
1,144
Reaction score
2
This is something I have been wondering about. Let f:A->B
be a bijection. If B is a subset of X. Can there still exist a bijection from A to X?
 
Physics news on Phys.org
But A is already fully mapped onto B, so which elements of A are left to map onto the X - B?
 
Well the cardinality of the rationals, natural numbers and even natural numbers are the same.
So there exists a bijection between each of these sets even though, the even natural numbers are a subset of the natural numbers. So I think you're actually wrong?
 
I asked a question; I did not provide an answer.

However it seems that you now know the answer: I think you are saying "for finite sets the answer is NO; for infinite sets the answer is YES". Next you should go ahead and construct an example using the set of natural numbers and subsets of odds and evens.
 
You might want to re-write the question to specify that B is a proper subset of X.
 
UltrafastPED said:
I asked a question; I did not provide an answer.

However it seems that you now know the answer: I think you are saying "for finite sets the answer is NO; for infinite sets the answer is YES". Next you should go ahead and construct an example using the set of natural numbers and subsets of odds and evens.
It should be mentioned that it isn't always true for infinite sets. E.g., take ##A = B = \mathbb{R}## and ##X = \mathbb{Z}##. In general it will be possible only if ##X## has the same cardinality as ##B## (and hence the same cardinality as ##A##).
 

Similar threads

Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
2K
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K