참여번역 : 어학사전

Mathematics: Sizes of infinity part 2: Getting real

65문장 100% 한국어 번역 17명 참여 출처 : 칸아카데미

2 영상보기

내 번역문 보기

영어 to

한국어

2단 보기 1단 보기

Mathematics: Sizes of infinity part 2: Getting real

(Intro music) Hi, I'm Agustin Rayo.

I'm an associate professor of philosophy at MIT.

And today I want to talk about how there are some infinities that are bigger than others.

So we've seen that there are a bunch of infinities, which are really the same size, in the sense that they can all be put in one-one correspondence with one another.

So one might be tempted to think that all infinities are the same size.

That any two infinities can be put in one-one correspondence with each other.

But in fact that is not true, and that is the second big theorem that Cantor proved.

What he showed is that there are more real numbers than natural numbers.

So if as many new guests as real numbers showed up to the hotel, we could not accommodate that.

In fact, we couldn't even accommodate them if the hotel was empty to begin with.

What we're gonna prove is that there are more real numbers between zero and one than there are natural numbers.

And the way we're gonna prove it is by reductio.

We're going to assume the opposite of what we want to prove and derive a contradiction from that assumption.

Because the opposite entails a contradiction, it can't be true.

So the thing we wanted to prove must be true.

So what's the opposite of what we wanted to prove?

Well, it's the idea that the real numbers between zero and one are in one-one correspondence with the natural numbers.

So it means in particular, that we can assign a different natural number to each real number between zero and one.

So assume that's true. Here's a diagram representing them. Each real number between zero and one can be represented as a decimal expansion.

You can write it as "0.", and then an infinite sequence of digits.

So suppose that we can assign a different natural number to each real number between zero and one.

So here's an example of how that might go.

To the natural number zero we assigned this real number, and to the natural number one we assigned this real number, and so forth.

Now, what we're gonna do, is we're gonna use our list to create an evil number.

And here's how we do it.

First, we consider the diagonal, which is just a result of writing "0.", and then the sequence of digits which we get from this diagonal here.

And once we have that diagonal, we define its evil twin.

The evil twin of the diagonal, is the number that you get by writing a seven whenever the diagonal had a three.

And writing a three whenever the diagonal had anything other than a three.

So here's how it would go.

So here we have a three, we write "7."

Here we don't have a three, we write "3."

Here we have a three, we write "7."

Not a three, we write "3."

Not a three, we write "3." And so forth.

Cantor's observation is that the evil twin cannot be on our list.

Why can't it be on our list?

Well, it can't be the first member of our list, because the first member of our list has a three in its first position, but our evil number has a seven in that position.

What about the second one? Well it can't be the second one, because the second one has something other than a three in its second position.

And our evil number has a three.

And generally speaking, the evil number can't be in the nth position, because whatever the number in the nth position has as its nth digit, the evil number will have something different.

So here's what's happened. We've assumed for reductio that you can assign a different natural number to each real number between zero and one.

But then we found a real number, the evil number, which isn't on that list.

It contradicts our assumption that we really had assigned a natural number to every real number between zero and one.

So our assumption must be false.

And because what we assumed is the negation of what we wanted to prove, it follows that what we wanted to prove is true.

There are more real numbers between zero and one than natural numbers.

So we've identified two sizes of infinities so far.

The size of the natural numbers, which we know is just as big as the size of the natural numbers plus one additional element, and just as big as the size of as many copies of the natural numbers as there are natural numbers.

And we've identified a bigger size.

The size of the real numbers between zero and one.

Are there other things which are that bigger size?

As it turns out, yes. There are exactly as many real numbers as there are real numbers between zero and one.

And there are exactly as many points on a line as there are real numbers.

And there are exactly as many points on a plane as there are real numbers.

And there are exactly as many points on a cube as there are real numbers.

And there are exactly as many points in a hypercube as there are real numbers.

So, is the infinity of the real numbers the biggest infinity there is?

As it turns out, there are infinitely many sizes of infinity.

Another thing Cantor proved is that whenever you have a set, the set's powerset (in other words, the set of all subsets of the original set) is bigger.

So, the powerset of the set of natural numbers is bigger than the set of natural numbers.

And the powerset of the powerset is bigger than the powerset.

And the powerset of the powerset of the powerset is bigger than that.

And so forth with no end.

번역 0% 대기중

Mathematics: Sizes of infinity part 2: Getting real발음듣기

다른 번역문 등록

(Intro music) Hi, I'm Agustin Rayo.발음듣기

다른 번역문 등록

I'm an associate professor of philosophy at MIT.발음듣기

다른 번역문 등록

And today I want to talk about how there are some infinities that are bigger than others.발음듣기

다른 번역문 등록

So we've seen that there are a bunch of infinities, which are really the same size, in the sense that they can all be put in one-one correspondence with one another.발음듣기

다른 번역문 등록

So one might be tempted to think that all infinities are the same size.발음듣기

다른 번역문 등록

That any two infinities can be put in one-one correspondence with each other.발음듣기

다른 번역문 등록

But in fact that is not true, and that is the second big theorem that Cantor proved.발음듣기

다른 번역문 등록

What he showed is that there are more real numbers than natural numbers.발음듣기

다른 번역문 등록

So if as many new guests as real numbers showed up to the hotel, we could not accommodate that.발음듣기

다른 번역문 등록

In fact, we couldn't even accommodate them if the hotel was empty to begin with.발음듣기

다른 번역문 등록

What we're gonna prove is that there are more real numbers between zero and one than there are natural numbers.발음듣기

다른 번역문 등록

And the way we're gonna prove it is by reductio.발음듣기

다른 번역문 등록

We're going to assume the opposite of what we want to prove and derive a contradiction from that assumption.발음듣기

다른 번역문 등록

Because the opposite entails a contradiction, it can't be true.발음듣기

다른 번역문 등록

So the thing we wanted to prove must be true.발음듣기

다른 번역문 등록

So what's the opposite of what we wanted to prove?발음듣기

다른 번역문 등록

Well, it's the idea that the real numbers between zero and one are in one-one correspondence with the natural numbers.발음듣기

다른 번역문 등록

So it means in particular, that we can assign a different natural number to each real number between zero and one.발음듣기

다른 번역문 등록

So assume that's true. Here's a diagram representing them. Each real number between zero and one can be represented as a decimal expansion.발음듣기

다른 번역문 등록

You can write it as "0.", and then an infinite sequence of digits.발음듣기

다른 번역문 등록

So suppose that we can assign a different natural number to each real number between zero and one.발음듣기

다른 번역문 등록

So here's an example of how that might go.발음듣기

다른 번역문 등록

To the natural number zero we assigned this real number, and to the natural number one we assigned this real number, and so forth.발음듣기

다른 번역문 등록

Now, what we're gonna do, is we're gonna use our list to create an evil number.발음듣기

다른 번역문 등록

And here's how we do it.발음듣기

다른 번역문 등록

First, we consider the diagonal, which is just a result of writing "0.", and then the sequence of digits which we get from this diagonal here.발음듣기

다른 번역문 등록

And once we have that diagonal, we define its evil twin.발음듣기

다른 번역문 등록

The evil twin of the diagonal, is the number that you get by writing a seven whenever the diagonal had a three.발음듣기

다른 번역문 등록

And writing a three whenever the diagonal had anything other than a three.발음듣기

다른 번역문 등록

So here's how it would go.발음듣기

다른 번역문 등록

So here we have a three, we write "7."발음듣기

다른 번역문 등록

Here we don't have a three, we write "3."발음듣기

다른 번역문 등록

Here we have a three, we write "7."발음듣기

다른 번역문 등록

Not a three, we write "3."발음듣기

다른 번역문 등록

Not a three, we write "3." And so forth.발음듣기

다른 번역문 등록

Cantor's observation is that the evil twin cannot be on our list.발음듣기

다른 번역문 등록

Why can't it be on our list?발음듣기

다른 번역문 등록

Well, it can't be the first member of our list, because the first member of our list has a three in its first position, but our evil number has a seven in that position.발음듣기

다른 번역문 등록

What about the second one? Well it can't be the second one, because the second one has something other than a three in its second position.발음듣기

다른 번역문 등록

And our evil number has a three.발음듣기

다른 번역문 등록

And generally speaking, the evil number can't be in the nth position, because whatever the number in the nth position has as its nth digit, the evil number will have something different.발음듣기

다른 번역문 등록

So here's what's happened. We've assumed for reductio that you can assign a different natural number to each real number between zero and one.발음듣기

다른 번역문 등록

But then we found a real number, the evil number, which isn't on that list.발음듣기

다른 번역문 등록

It contradicts our assumption that we really had assigned a natural number to every real number between zero and one.발음듣기

다른 번역문 등록

So our assumption must be false.발음듣기

다른 번역문 등록

And because what we assumed is the negation of what we wanted to prove, it follows that what we wanted to prove is true.발음듣기

다른 번역문 등록

There are more real numbers between zero and one than natural numbers.발음듣기

다른 번역문 등록

So we've identified two sizes of infinities so far.발음듣기

다른 번역문 등록

And we've identified a bigger size.발음듣기

다른 번역문 등록

The size of the real numbers between zero and one.발음듣기

다른 번역문 등록

Are there other things which are that bigger size?발음듣기

다른 번역문 등록

As it turns out, yes. There are exactly as many real numbers as there are real numbers between zero and one.발음듣기

다른 번역문 등록

And there are exactly as many points on a line as there are real numbers.발음듣기

다른 번역문 등록

And there are exactly as many points on a plane as there are real numbers.발음듣기

다른 번역문 등록

And there are exactly as many points on a cube as there are real numbers.발음듣기

다른 번역문 등록

And there are exactly as many points in a hypercube as there are real numbers.발음듣기

다른 번역문 등록

So, is the infinity of the real numbers the biggest infinity there is?발음듣기

다른 번역문 등록

As it turns out, there are infinitely many sizes of infinity.발음듣기

다른 번역문 등록

Another thing Cantor proved is that whenever you have a set, the set's powerset (in other words, the set of all subsets of the original set) is bigger.발음듣기