Prove |A-B|=|A|: An Uncountable Set Solution

  • Thread starter Thread starter ranykar
  • Start date Start date
  • Tags Tags
    Sets
AI Thread Summary
To prove that |A-B|=|A| where B is a countable subset of an uncountable set A, it is essential to establish a bijection between A and A-B. The discussion highlights that A-B is uncountable, which is a crucial starting point. Participants suggest using a reordering of A, positioning B as an initial segment, to facilitate the creation of a one-to-one correspondence. The concept of reductio ad absurdum is also mentioned as a potential strategy for the proof. Ultimately, the goal is to explicitly demonstrate the bijection between the two sets.
ranykar
Messages
2
Reaction score
0
hello I am struggled with a qustion
let B be a countable subset of uncountable set A.
Prove |A-B|=|A|
i know how to prove that A-B is uncountable
but how do i show 1:1 with A?

thanks ahead guys
 
Last edited:
Physics news on Phys.org
welcome to pf!

hello ranykar! welcome to pf! :smile:

(no, you're struggling with the question! :wink:

or being strangled by it? )​

hint: assume the opposite :wink:

(ie, that A-B is countable)
 


tnx but that's not what i was asking.
i know that A-B is uncountable.
but how do i show 1:1 with A??
 
Try doing a reordering of A , so that B is an initial segment of A.
 
I think s/he wants to set up an actual bijection between A and A\B .
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top