# Basic Proving Isomorphism Problem

1. May 27, 2013

### Nexttime35

1. The problem statement, all variables and given/known data

See Attachment:
https://www.physicsforums.com/attachment.php?attachmentid=59074&d=1369708771

2. Relevant equations

As shown in the attachment, I am slightly confused as to where to begin this problem.

I know that I need to prove that a function, f, is 1-1 and onto, in order for the function to be isomorphic to the cartesian product of X, but I am unaware as to where to begin this problem.

Does anyone have any ideas that could help?

Thank you very much,

G.

Last edited: May 27, 2013
2. May 27, 2013

### Dick

Shouldn't you attach something? I don't see anything.

3. May 27, 2013

### Nexttime35

Here is the attachment:

4. May 27, 2013

### Dick

Ok, I see it now. Suppose f(1)=x1 and f(2)=x2 where x1 and x2 are in X. Can't you think of a way to associate that with an ordered pair in X x X?

5. May 28, 2013

### Nexttime35

Hmm. I'm still slightly confused about how to link f(1)=x1 and f(2)=x2 with an ordered pair, to prove that f is 1-1 and onto. Any ideas?

6. May 28, 2013

### Dick

Whatever you are using to display attachements seems to be blocked in the firefox browser or by the website, or they've expired. They've now disappeared. If I open it in Chome I don't see anything either. You should probably just type your problem statement in. I've forgotten how it was exactly stated and it would be best to have it here for reference. But isn't (f(1),f(2)) an ordered pair in X x X? And doesn't an ordered pair also define a function {1,2}->X x X?

Last edited: May 28, 2013
7. May 29, 2013

### Nexttime35

#### Attached Files:

• ###### mathproblem1.png
File size:
4.2 KB
Views:
89
8. May 29, 2013

9. Jun 2, 2013

### Nexttime35

OK so, here's my first attempt at proving G is 1-1.

G is 1-1: Assume G(f(1)) = G(f(2)). Then since g is 1-1, (f(1)) = (f(2)) which lies in X x X.
Does that follow? Thanks for your help.

10. Jun 2, 2013

### Dick

You don't seem to be quite getting this. G is supposed to map a function from {1,2} into X into an ordered pair in X x X. Suppose X=N, the natural numbers. If f(1)=9 and f(2)=16 then G(f) is an ordered pair. What is it? Conversely if you are given an ordered pair (1,3), what is the corresponding f? You want to prove there is a 1-1 correspondence between functions and ordered pairs.

Last edited: Jun 2, 2013
11. Jun 3, 2013

### Nexttime35

If f(1) = 9 and f(2) = 16, then G(f) is an ordered pair, (9,16). Given an ordered pair (1,3), the corresponding f would be (f(1),f(3)), correct?
So I want to find a bijection G: X^{1,2} to X x X, and then prove the bijection. Now, my professor said there are two options for the function to prove is 1-1 and onto. What are those two functions?

12. Jun 3, 2013

### Dick

Well, no. The function defined by the ordered pair has to be a function from {1,2} into X. If the ordered pair is (1,3) then define the function f(1)=1 and f(2)=3. So G will map that function to the ordered pair (1,3). Another obvious choice would be to define H(f)=(f(2),f(1)). It should be kind of obvious that G and H are bijections from functions to ordered pairs, if you think about it. See if you can explain why.