A couple of questions on set theory

[micromass]

The things we discussed about R^1 and R^2 got me thinking about defining R^n...surely it wouldn't be a matter of just replacing "2" with n? You'd need to define an an ordered n-tuple and put some qualifer(s) on n, wouldn't you?

Why doesn't this work?

\mathbb{R}^n = \{f:\{0,...,n-1\}\rightarrow \mathbb{R}~\vert~f~\text{is a function}\}.

Also, in general I don't know how to discuss sets (or unions, or whatever) with n elements. Somewhere I saw a format something like "all X_i :~i \in \mathbb{N}, 1 \leq i \leq n" and I can't remember exactly! It's driving me nuts. Anyway, do you have any idea what this should look like?

Sorry, I have no idea what you're trying to say here. Can you describe what you are trying to write down?

 

[Dods]

Why doesn't this work?

\mathbb{R}^n = \{f:\{0,...,n-1\}\rightarrow \mathbb{R}~\vert~f~\text{is a function}\}.

Right, that makes sense, I totally missed that. :)

If we wanted that in \{x \in B~\vert~P(x)\} format we could write \{f \in \mathcal{P}(\{0,...,n-1\}\times \mathbb{R})~\vert~\text{f is a function}\} right?

Sorry, I have no idea what you're trying to say here. Can you describe what you are trying to write down?

Yeah, sorry - I've seen this somewhere and I can't remember where, Basically instead of listing the elements X_1, X_2, X_3, X_4 \in T they did something like X_i \in T \wedge i \in \mathbb{N}, 1 \leq i \leq 4

 

[micromass]

Yeah, sorry - I've seen this somewhere and I can't remember where, Basically instead of listing the elements X_1, X_2, X_3, X_4 \in T they did something like X_i \in T \wedge i \in \mathbb{N}, 1 \leq i \leq 4

Something like $X_i,~1\leq i \leq 4$?

 

[Dods]

Yes. Thanks. :) (You don't need to specify that i is in the natural numbers?)

I quite want to try constructing an area function (that is, a function that would satisfy the axioms specified in wiki's page of Area http://en.wikipedia.org/wiki/Area#Formal_definition).

Do you think that is something I could try doing on PF? (possibly in another thread if needed).

 

[micromass]

Yes. Thanks. :) (You don't need to specify that i is in the natural numbers?)

Formally, you do. But it is usually clear from context.

I quite want to try constructing an area function (that is, a function that would satisfy the axioms specified in wiki's page of Area http://en.wikipedia.org/wiki/Area#Formal_definition).

Do you think that is something I could try doing on PF? (possibly in another thread if needed).

Sure, you can do that. Although the area function in that link isn't very useful. The useful concept is the 2-dimensional Lebesgue measure. that is an area function that is extremely useful in mathematics. But go ahead and construct it.

 

[Dods]

Ok, great :) I'll get on it.

I have a question though. There are shapes whose area has to be found through integration. Will this area function also have to account for them? That would basically mean I'd need to construct an integral.

 

[micromass]

Ok, great :) I'll get on it.

I have a question though. There are shapes whose area has to be found through integration. Will this area function also have to account for them? That would basically mean I'd need to construct an integral.

The Lebesgue measure can be constructed without any notion of integral. So the definition of area doesn't need integration. However, if you want to explicitely find the area, then integrals might be handy. I mean: with measures you can show that something has an area, but you might not be able to find it.

The logical procedure is: first you construct measures, then you construct the associated integral.

 

[Dods]

Right, so if I just want to show that an object has area I wouldn't need integrals, although for figuring out what that area is they might be needed.

I though of starting with defining a rectangles area, and then expanding that definition to other shapes. Do you think that's a good idea or would I need to start at a level where I define some concepts and then use them to show that a rectangle has an area, and then expand the definition?

I very much appreciate you advice on this :)

 

[micromass]

Right, so if I just want to show that an object has area I wouldn't need integrals, although for figuring out what that area is they might be needed.

I though of starting with defining a rectangles area, and then expanding that definition to other shapes. Do you think that's a good idea or would I need to start at a level where I define some concepts and then use them to show that a rectangle has an area, and then expand the definition?

I very much appreciate you advice on this :)

Sure starting with rectangles is a good idea. In fact, try to start with rectangles whose sides are parallel to the x-axis and y-axis. So rectangles of the form $(a_1,a_2]\times (b_1,b_2]$ (I exclude the sides because it is technically easier).

 

[Dods]

Thanks micromass!

I don't think I'm reading that cartesian product right - wouldn't you need open intervals, not half-open ones to exclude the sides?

Also, at some point we defined a rectangle-like object before in this thread.

Anyway, I'll start coming up with it, I'll post the start of it soon. :)

 

[micromass]

Thanks micromass!

I don't think I'm reading that cartesian product right - wouldn't you need open intervals, not half-open ones to exclude the sides?

I only exclude two of the sides.

I do it this way because things end up to be easier. Why? Because you can easily "paste" together rectangles this way. For example, the union of $(0,1]\times (0,1]$ and $(1,2]\times (0,1]$ is again a rectangle of the same sort and we have no overlapping. If we take closed or open rectangles, then we have the sides to worry about.

Also, at some point we defined a rectangle-like object before in this thread.

OK, but that's not the same rectangle as we'll use here.

 

[Dods]

I've been doing another round of exams (last day of high school on Sunday! :]). I'll come back and update soon. I'm trying to come up with definitions that are readily generalizable to n-dimensional area/volume/equivalent.

Dods

 

[Dods]

Heya,

I finally have time to come back to this :) !

I have a question:

If I have a set that is a union of several sets, say Y = A \cup B \cup C is there a way using set-builder notation to refer to the set (let's call it S_Y) of all the sets that are part of the union?

That is S_Y = \{A, B, C\} in this case. I'm not sure how to approach this, especially given that the same set can be described by different unions: we can have Y = A \cup B \cup C = E \cup F.

Thanks!

 

[micromass]

If you're only given the set $Y$, then there is no way to find the sets whose union give $Y$.

I mean, you could find all sets whose union is $Y$, but you're not going to find the specific sets.

 

[Dods]

By the way, in general if I have a list of elements where each successive element is connected to the one before it by the same operation, like:


x_1 + x_2 + x_3 + x_4 + x_5 + x_6

or


x_1 \cdot x_2 \cdot x_3 \cdot x_4 \cdot x_5

or even

x_1 \times x_2 \times x_3 \times x_4

and you want to talk about the same list with n elements, it considered rigorous to express it as something like:

x_1 + ... + x_n

or

x_1 \times ... \times x_n

? Or is this shorthand for a more rigorous statement?

The issue just came up with some sets I was considering.

Thanks :)

 

[micromass]

Good question. Let's look at the definition of addition. Addition is defined as a binary operation. What this means is that it is a function $+:\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}$. So to $(a,b)$, we associate $+(a,b)$. Since this looks weird, we just write it as $a+b$.

From this definition, we see that something like $a+b+c$ does not make sense. We can't define it as $+(a,b,c)$, since $+$ only operates on $2$ terms. However, the following is defined:

(a+b)+c

In more primitive notation, we have $+(+(a,b),c)$. So we let $+$ operate on $+(a,b)$ and $c$. But we can also define

a+(b+c)

which of course means $+(a,+(b,c))$. And it turns out that both are equal. So, we have

+(+(a,b),c) = +(a,+(b,c))

It is for this reason, that we can invent the notation $a+b+c$ to mean the value of the above. This is an abuse of notation. Purely rigorously, we can't write it like $a+b+c$. But of course, the abuse is very convenient.

There is an operation, called the Lie bracket (denoted by $[a,b]$). What it is, is of no importance. But it is also a binary operation. However, it is not associative in general. Thus we have

[a,[b,c]] \neq [a,[b,c]]

This is a major example of a nonassociative operation. Because it is nonassociative, we do not write it as $[a,b,c]$. We always write it as a binary operation.

The cartesian product of sets is a bit more subtle. There, it does not holds that

A\times (B\times C) = (A\times B)\times C

So the operation fails to be associative. However, we do write it as $A\times B\times C$. The reason is that there is a natural bijection between the two sets. That is, we can identity the element $(a,(b,c))\in A\times (B\times C)$ with the element $((a,b),c)\in (A\times B)\times C$. This is a canonical or natural identificiation. So when we write $A\times (B\times C) = (A\times B)\times C$, we always keep this identification in mind.

 

[Dods]

Thank you for an excellent explanation!

Good question. Let's look at the definition of addition. Addition is defined as a binary operation. What this means is that it is a function $+:\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}$.

Could you say that for any_1 binary operation *, we can define it as $*:S \times S\rightarrow S$?

That is, a function that takes two elements of the same set to another element of that set?

_1 I mean as a basic definition - I assume that you'd need to amend this for an operation like division over the real numbers (but not for division over the "real numbers not including zero") ?

In more primitive notation, we have $+(+(a,b),c)$. So we let $+$ operate on $+(a,b)$ and $c$. But we can also define

a+(b+c)

which of course means $+(a,+(b,c))$. And it turns out that both are equal. So, we have

+(+(a,b),c) = +(a,+(b,c))

In Spivak's Calculus book he shows this for a + b + c + d using properties of real numbers (I did it as an exercise and then checked the book). Is this how it turns out both are equal?

There is an operation, called the Lie bracket (denoted by $[a,b]$). What it is, is of no importance. But it is also a binary operation. However, it is not associative in general. Thus we have

[a,[b,c]] \neq [a,[b,c]]

This is a major example of a nonassociative operation. Because it is nonassociative, we do not write it as $[a,b,c]$. We always write it as a binary operation.

Do you mean [a,[b,c]] \neq [[a,b],c]?

The cartesian product of sets is a bit more subtle. There, it does not holds that

A\times (B\times C) = (A\times B)\times C

So the operation fails to be associative. However, we do write it as $A\times B\times C$. The reason is that there is a natural bijection between the two sets. That is, we can identity the element $(a,(b,c))\in A\times (B\times C)$ with the element $((a,b),c)\in (A\times B)\times C$. This is a canonical or natural identificiation. So when we write $A\times (B\times C) = (A\times B)\times C$, we always keep this identification in mind.

That's very interesting. If for a minute we think about ordered 4-tuples as nested ordered pairs, if the definition "nest"s them from the left

(((x,y)z)w)

or from the right

(x(y(z,w)))

it does change the set's definition but we associate both ways of defining it with the ordered 4-tuple (x,y,z,w)...

Is that relevant or have I started a whole other thing here?

 

[micromass]

Could you say that for any_1 binary operation *, we can define it as $*:S \times S\rightarrow S$?

That is, a function that takes two elements of the same set to another element of that set?

Yes, that is essentially how a binary operation is defined.

_1 I mean as a basic definition - I assume that you'd need to amend this for an operation like division over the real numbers (but not for division over the "real numbers not including zero") ?

Division is usually not seen as a binary operation. It is possible to see it as a binary operation, but this is annoying. In abstract algebra, we usually look at the unary operation

i:\mathbb{R}\setminus \{0\}\rightarrow \mathbb{R}:x\rightarrow 1/x

then division $a/b$ is just $a*i(b)$. This is the usual way to deal with this.

In Spivak's Calculus book he shows this for a + b + c + d using properties of real numbers (I did it as an exercise and then checked the book). Is this how it turns out both are equal?

Yes.

Do you mean [a,[b,c]] \neq [[a,b],c]?

Yes, sorry.

That's very interesting. If for a minute we think about ordered 4-tuples as nested ordered pairs, if the definition "nest"s them from the left

(((x,y)z)w)

or from the right

(x(y(z,w)))

it does change the set's definition but we associate both ways of defining it with the ordered 4-tuple (x,y,z,w)...

Is that relevant or have I started a whole other thing here?

No, what you said is exactly right. We "associate" $(((x,y),z),w)$ and $(x,y,z,w)$. So although they aren't the same thing, we do identify them informally.

 

[Dods]

I've been reviewing some of the material we've covered and I had some miscellaneous questions:

First of all, I've seen A \setminus D type sets and while I've understood them from context, how is the "\" operation defined?

-----

Second, let's say we want the set of all functions from \{0,1\} to \mathbb{R}. We could write \{f: \{0,1\} \rightarrow \mathbb{R} \vert f \ \text{is a function} \} and that'd be clear enough. But if we were being pedantically rigorous and we wanted that in $\{x \in B~\vert~P(x)\}$ format, could we write: \{f \in \mathcal{P}(\{0,1\}\times \mathbb{R})~\vert~\text{f is a function}\}, seeing as our $f$ is always a subset of $\{0,1\} \times \mathbb{R}$?

As always, thanks!

 

[micromass]

I've been reviewing some of the material we've covered and I had some miscellaneous questions:

First of all, I've seen A \setminus D type sets and while I've understood them from context, how is the "\" operation defined?

The definition is A\setminus D = \{x\in A~\vert~x\notin D\}

Second, let's say we want the set of all functions from \{0,1\} to \mathbb{R}. We could write \{f: \{0,1\} \rightarrow \mathbb{R} \vert f \ \text{is a function} \} and that'd be clear enough. But if we were being pedantically rigorous and we wanted that in $\{x \in B~\vert~P(x)\}$ format, could we write: \{f \in \mathcal{P}(\{0,1\}\times \mathbb{R})~\vert~\text{f is a function}\}, seeing as our $f$ is always a subset of $\{0,1\} \times \mathbb{R}$?

Yes, that is correct.

 

[Dods]

Right.

So if I wanted the set of numbers 1,2,3...n, I could write it as n+1 \setminus \{0\} seeing as we said n+1 = \{0,1,2,...n\}?

Do you have any ideas for either things I could prove, or define using set theory? I like the problems you give me, they're fun :)

Thanks a lot micro :)

 

[micromass]

Right.

So if I wanted the set of numbers 1,2,3...n, I could write it as n+1 \setminus \{0\} seeing as we said n+1 = \{0,1,2,...n\}?

Do you have any ideas for either things I could prove, or define using set theory? I like the problems you give me, they're fun :)

Thanks a lot micro :)

Seems right!

What about the following:

For any set $A$, we define $S(A) = A\cup \{A\}$. We say that a set $X$ is inductive, if $0:=\emptyset\in X$ and if $x\in X$, then $S(x)\in X$. Let $\mathcal{A}$ be the set of all inductive sets, define

\mathbb{N} = \bigcap_{A\in \mathcal{A}} A

So $\mathbb{N}$ is the smallest inductive set.

Maybe you can try to prove the Peano axioms:

• For every $n\in \mathbb{N}$, we have that $S(n)\in \mathbb{N}$
• For every $n,m\in \mathbb{N}$ holds that if $S(n) = S(m)$, then $n=m$.
• There is no $n\in \mathbb{N}$ such that $S(n) = 0$
• If $K\subseteq \mathbb{N}$ satisfies $0\in K$ and if $n\in K$ implies $S(n)\in K$, then it holds that $K=\mathbb{N}$

Now, can you define addition and multiplication on $\mathbb{N}$? Can you check the usual properties:

• $n + (m + k) = (n+m) + k$
• $n + 0 = n = 0 + n$
• $n + m = m + n$
• If $n+m = n + k$, then $m=k$
• $n\cdot (m\cdot k) = (n\cdot m)\cdot k$
• $n\cdot m = m\cdot n$
• $n\cdot 1 = n = 1\cdot n$
• If $n\cdot m = 0$, then $n=0$ or $m=0$
• $n\cdot (m + k) = (n\cdot m) + (n\cdot k)$

What about an ordering relation $<$, can you define that?
Can you define the integers $\mathbb{Z}$?

 

[Dods]

Seems right!

Great, thanks :)

What about the following:

For any set $A$, we define $S(A) = A\cup \{A\}$. We say that a set $X$ is inductive, if $0:=\emptyset\in X$ and if $x\in X$, then $S(x)\in X$. Let $\mathcal{A}$ be the set of all inductive sets, define

\mathbb{N} = \bigcap_{A\in \mathcal{A}} A

So $\mathbb{N}$ is the smallest inductive set.

^ So you mean I can take this information as "given" or is there a part of this you want me to prove?

Maybe you can try to prove the Peano axioms:

• For every $n\in \mathbb{N}$, we have that $S(n)\in \mathbb{N}$
• For every $n,m\in \mathbb{N}$ holds that if $S(n) = S(m)$, then $n=m$.
• There is no $n\in \mathbb{N}$ such that $S(n) = 0$
• If $K\subseteq \mathbb{N}$ satisfies $0\in K$ and if $n\in K$ implies $S(n)\in K$, then it holds that $K=\mathbb{N}$

Now, can you define addition and multiplication on $\mathbb{N}$? Can you check the usual properties:

• $n + (m + k) = (n+m) + k$
• $n + 0 = n = 0 + n$
• $n + m = m + n$
• If $n+m = n + k$, then $m=k$
• $n\cdot (m\cdot k) = (n\cdot m)\cdot k$
• $n\cdot m = m\cdot n$
• $n\cdot 1 = n = 1\cdot n$
• If $n\cdot m = 0$, then $n=0$ or $m=0$
• $n\cdot (m + k) = (n\cdot m) + (n\cdot k)$

What about an ordering relation $<$, can you define that?
Can you define the integers $\mathbb{Z}$?

That should keep me busy! These look great, thank you!

 

[Dods]

OK, assuming I understood you correctly and I can take the stated definitions as given, I'll start by proving the Peano axiom:

There is no n \in \mathbb{N} such that S(n) = 0

Proof -

Lets assume there does exist an $n$ in $\mathbb{N}$ such that S(n) = 0. If we recall the definitions of S(n) and $0$, that means there exists an $n$ such that $n \cup \{n\} = \emptyset$, or put another way, $\{x\vert x\in n \vee x = n\} = \emptyset$.$^1$ $n$ is either the empty set or it is nonempty. If $n$ is nonempty, there exist an $x$ in $n$ and therefore $\{x\vert x\in n \vee x = n\}$ is nonempty and we have $\{x\vert x\in n \vee x = n\} \neq \emptyset$ - which contradicts our initial assumption. If $n$ is the empty set, we have $\{x\vert x\in n \vee x = n\} =\{x\vert x =\emptyset \} = \{\emptyset\} \neq \emptyset$ - also a contradiction. Either way our initial assumption that "there does exist an $n$ in $\mathbb{N}$ such that S(n) = 0" leads us to a contradiction and so must be false. Therefore there does not exist an $n$ in $\mathbb{N}$ such that S(n) = 0. QED

$^1$ I assume that although not in standard format, this set is acceptable because of the axiom of union (and possibly pairing?).

-----------

Hows that?

 

[micromass]

^ So you mean I can take this information as "given" or is there a part of this you want me to prove?

Oops, didn't see this question. All of that were basically definitions, so you can take them as given.

OK, assuming I understood you correctly and I can take the stated definitions as given, I'll start by proving the Peano axiom:

There is no n \in \mathbb{N} such that S(n) = 0

Proof -

Lets assume there does exist an $n$ in $\mathbb{N}$ such that S(n) = 0. If we recall the definitions of S(n) and $0$, that means there exists an $n$ such that $n \cup \{n\} = \emptyset$, or put another way, $\{x\vert x\in n \vee x = n\} = \emptyset$.$^1$ $n$ is either the empty set or it is nonempty. If $n$ is nonempty, there exist an $x$ in $n$ and therefore $\{x\vert x\in n \vee x = n\}$ is nonempty and we have $\{x\vert x\in n \vee x = n\} \neq \emptyset$ - which contradicts our initial assumption. If $n$ is the empty set, we have $\{x\vert x\in n \vee x = n\} =\{x\vert x =\emptyset \} = \{\emptyset\} \neq \emptyset$ - also a contradiction. Either way our initial assumption that "there does exist an $n$ in $\mathbb{N}$ such that S(n) = 0" leads us to a contradiction and so must be false. Therefore there does not exist an $n$ in $\mathbb{N}$ such that S(n) = 0. QED

$^1$ I assume that although not in standard format, this set is acceptable because of the axiom of union (and possibly pairing?).

-----------

Hows that?

That's all fine. Even the $^1$ remark is fine.

 

[Dods]

I'm pleased - I'm not that comfortable yet with verbose proofs, you don't really do those in high-school I guess :)

I have a question about some terminology I've seen, like "pair" and "triple". In several places I've seen the phrases like "the pair $(G,*)$ is a group if..." or in an alternate definition of function:

Definition 2

A triple $f=(X,Y,G)$ such that $G\subseteq X\times Y$ is said to be a function from X into Y, if
(a) For all $x\in X$, there's a $y\in Y$ such that $(x,y)\in G$.
(b) For all $x,x' \in X$ and all $y\in Y$, if $(x,y)\in G$ and $(x',y)\in G$, then $x=x'$.
X is said to be the domain of f. Y is said to be the codomain of f. G is said to be the graph of f.

What does "pair" and "triple" mean in these contexts? Is it just a handy way of referring to a bunch of interrelated sets that match a definition? Does a triple for instance have some set-theoretic or logical definition or sub-structure?

This might be a weird question if that's just notation, but for all I know a "triple" refers to some deep mathematical logic construction...

 

[micromass]

In this context it is nothing special. It's just a way of writing things down. We can as well say "A group is given by a set $G$ and a function $*$ such that..." But using pair and triple notation is standard.

More formally, given two objects $x$ and $y$, we define the pair $(x,y) := \{\{x\},\{x,y\}\}$. The crucial point here is that $(x,y)= (a,b)$ implies that $x=a$ and $y=b$.

A triple can then be defined as $(x,y,z) := ((x,y),z)$. And we can go on: $(x,y,z,w) := ((x,y,z),w)$.

It's nice that we can make formal definitions of these concepts, but they're not all that important. All we want to say is that we are given 2 or 3 objects.

 

[Dods]

Right, I see, so it's just like the ordered pairs we've discussed, extended to ordered n-tuples.

Thanks!

 

[Dods]

I noticed something - in Fredrik's post that I quoted, he says that according to the definition of a function that we've been using, each function has many codomains, and according to the second definition, each function has one codomain.

I'm not sure I understand this.

I think I understand why in the definition we've been using there are many codomains. I mean, if we consider for example the functions $f:\mathbb{R}\rightarrow \mathbb{R} : x \rightarrow x^2$ and $f:\mathbb{R}\rightarrow \mathbb{R_+} : x \rightarrow x^2$, they are equal but have different codomains (Still, this seems to me to rest on the fact that that for both functions we can tell exactly what elements are in the respective ranges. I'm not sure if an arbitrary $f:A\rightarrow B$ has multiple codomains).

But I'm not seeing why in the second definition, each function has one codomain.

Dods :)

 

[micromass]

I noticed something - in Fredrik's post that I quoted, he says that according to the definition of a function that we've been using, each function has many codomains, and according to the second definition, each function has one codomain.

I'm not sure I understand this.

I think I understand why in the definition we've been using there are many codomains. I mean, if we consider for example the functions $f:\mathbb{R}\rightarrow \mathbb{R} : x \rightarrow x^2$ and $f:\mathbb{R}\rightarrow \mathbb{R_+} : x \rightarrow x^2$, they are equal but have different codomains (Still, this seems to me to rest on the fact that that for both functions we can tell exactly what elements are in the respective ranges. I'm not sure if an arbitrary $f:A\rightarrow B$ has multiple codomains).

Exactly, two functions $f:A\rightarrow B$ and $g:A\rightarrow C$ are equal (in this case) if their graphs coincide, that means that for any $x\in A$, we have $f(x) = g(x)$. So $B$ and $C$ can be very different. But these are called the codomain. So we see that it is perfectly possible to have more than one codomain. As an example, see the function that you have given.

But I'm not seeing why in the second definition, each function has one codomain.

Because now, if we have two functions $f:A\rightarrow B$ and $g:A\rightarrow C$, then you are actually given triples $(A,f,B)$ and $(A,g,C)$. If these triples are equal, thus if $(A,f,B) = (A,g,C)$, then $f=g$ (meaning that for any $x\in A$, we have $f(x) = g(x)$, as before), but we also have $B=C$ (and this is now called the codomain).

So in this case, your examples $f:\mathbb{R}\rightarrow \mathbb{R} : x \rightarrow x^2$ and $f:\mathbb{R}\rightarrow \mathbb{R_+} : x \rightarrow x^2$ describe two entirely different functions, although they were equal in the first case.

 

[Dods]

I think I understand - there isn't a unique codomain as a result of the definitions, but rather by definition (of the triple).

I got to catch some sleep but this was bugging me on Wikipedia:

'About the same time as Wiener (1914), Felix Hausdorff proposed his definition:

(a, b) := \{ \{a, 1\}, \{b, 2\}\}

"where 1 and 2 are two distinct objects different from a and b."[3]'

Why do 1 and 2 need to be distinct for the characteristic property of ordered pairs to hold? I tried proving that (a, b) = (c, d) \ \text{if and only if} \ a=c \wedge b=d using this definition and it seems to work (maybe I made an error in the proof - I'll check in the morning). Am I just missing something basic?

Thanks :)

 

[micromass]

I think I understand - there isn't a unique codomain as a result of the definitions, but rather by definition (of the triple).

I got to catch some sleep but this was bugging me on Wikipedia:

'About the same time as Wiener (1914), Felix Hausdorff proposed his definition:

(a, b) := \{ \{a, 1\}, \{b, 2\}\}

"where 1 and 2 are two distinct objects different from a and b."[3]'

Why do 1 and 2 need to be distinct for the characteristic property of ordered pairs to hold? I tried proving that (a, b) = (c, d) \ \text{if and only if} \ a=c \wedge b=d using this definition and it seems to work (maybe I made an error in the proof - I'll check in the morning). Am I just missing something basic?

Thanks :)

If you define $(a,b) := \{\{a,1\},\{b,1\}\}$, then I really doubt you can prove the characteristic property. If you can't find the error in your proof, then please post it here and I'll try to find it.

 

[Dods]

Ahh, I read "where 1 and 2 are two distinct objects different from a and b" as meaning 1 and 2 are distinct from a and b, not that they are distinct from each other! In that case my proof does indeed collapse.

I knew it was something silly like that. :)

But when $1 \neq 2$ I think the proof works.