Relatively ancient and inactive
Fine, let me prove that the set of integers and the set of integers that are multiples of four is the same size.
Proof:
Define Z to be the set of integers.
Define F to be the set of integers that are multiples of four.
I define a bijection between Z and F:
f(x) = 4x.
This is a bijection because it is both surjective and injective:
Surjective:
y = 4x. Hence, x = y/4. Thus f^-1(y) = x exists.
Therefore, f(x) is surjective.
Injective:
Define a and b to be in domain. Let f(a) = f(b). Then we see that 4a=4b. Thus, a = b.
Therefore, f(x) is injective.
Since f(x) is both surjective and injective, it is bijective. Since I have found a bijective function that relates the set of integers to the set of integers of multiples of four, the two sets are equal in size.
Therefore, |Z| = |F|. (|Z| is the size of Z and |F| is the size of F)
I'll admit, I'm not particularly used to group theory proofs - however, I'm fairly certain that it's not bijective, because not every value in the group with multiples of four has a corresponding value in the group with all integers. The vice versa is true, but it seems that to prove equality you have to make sure it works both ways.
None.
Fine, let me prove that the set of integers and the set of integers that are multiples of four is the same size.
Proof:
Define Z to be the set of integers.
Define F to be the set of integers that are multiples of four.
I define a bijection between Z and F:
f(x) = 4x.
This is a bijection because it is both surjective and injective:
Surjective:
y = 4x. Hence, x = y/4. Thus f^-1(y) = x exists.
Therefore, f(x) is surjective.
Injective:
Define a and b to be in domain. Let f(a) = f(b). Then we see that 4a=4b. Thus, a = b.
Therefore, f(x) is injective.
Since f(x) is both surjective and injective, it is bijective. Since I have found a bijective function that relates the set of integers to the set of integers of multiples of four, the two sets are equal in size.
Therefore, |Z| = |F|. (|Z| is the size of Z and |F| is the size of F)
I'll admit, I'm not particularly used to group theory proofs - however, I'm fairly certain that it's not bijective, because not every value in the group with multiples of four has a corresponding value in the group with all integers. The vice versa is true, but it seems that to prove equality you have to make sure it works both ways.
1 - 4
2 - 8
3 - 12
4 - 16
5 - 20
...
There's exactly one element in the set of the multiples of 4 for each element in the natural numbers set. Also there's exactly one element in the natural numbers set for each element in the set of the multiples of 4. So we've paired all of them: both sets have the same size.
Also you're refering to
set theory and not
group theory.
?????
Just to be sure. Lets just say infinity is not a quantity. Because it behaves nothing like quantitable units.
If you had x = 0
1x=x,
divide both sides by x, (supposing we are allowed to divide by 0 and it will act like a real number)
1(x/x) = (x/x)
1*1 = 1
1 = 1,
How does that say anything about infinity? 1x=x is just x=x.
You can't have x/x because x is 0. You cannot have a divisor that is 0. For plain obvious reasons explained very much alive above. Thats not how you explain infinity. And 0/0 is not 1. 0/0 is not defined. What you've done is not math but bullshit. Man how do you take 0 and divide it by 0 and get 1.
None.
Just to be sure. Lets just say infinity is not a quantity. Because it behaves nothing like quantitable units.
As I said before, there are two different concepts of infinity which are not related. The ∞ one, which represents the behaviour of a function and is by no way related to a quantity, and the א
0, א
1, ..., which measure the size of a set and are, in fact, quantities. However they are not very useful for anything and thus you probably have never seen them used in any operation. This kind of numbers are called
transfinite numbers.
If any of you is interested in further reading I'd suggest searching something on google. This result looks quite good:
http://mathforum.org/library/drmath/view/51472.html
?????
Relatively ancient and inactive
Fine, let me prove that the set of integers and the set of integers that are multiples of four is the same size.
Proof:
Define Z to be the set of integers.
Define F to be the set of integers that are multiples of four.
I define a bijection between Z and F:
f(x) = 4x.
This is a bijection because it is both surjective and injective:
Surjective:
y = 4x. Hence, x = y/4. Thus f^-1(y) = x exists.
Therefore, f(x) is surjective.
Injective:
Define a and b to be in domain. Let f(a) = f(b). Then we see that 4a=4b. Thus, a = b.
Therefore, f(x) is injective.
Since f(x) is both surjective and injective, it is bijective. Since I have found a bijective function that relates the set of integers to the set of integers of multiples of four, the two sets are equal in size.
Therefore, |Z| = |F|. (|Z| is the size of Z and |F| is the size of F)
I'll admit, I'm not particularly used to group theory proofs - however, I'm fairly certain that it's not bijective, because not every value in the group with multiples of four has a corresponding value in the group with all integers. The vice versa is true, but it seems that to prove equality you have to make sure it works both ways.
1 - 4
2 - 8
3 - 12
4 - 16
5 - 20
...
There's exactly one element in the set of the multiples of 4 for each element in the natural numbers set. Also there's exactly one element in the natural numbers set for each element in the set of the multiples of 4. So we've paired all of them: both sets have the same size.
Also you're refering to
set theory and not
group theory.
Ah. Okay. Thank you, oh lord Cheeze, for your proof - Although, that's in terms of sets... you'll notice I was actually talking about infinity as an actual length, insofar as you can take any number in both sets and the amount of numbers fitting would be different. So, I still rather think that's infinity is natively contradictory
.
Yes, I just don't give up.
None.