Euler's formula with introductory group theory
3.14M subscribers
SUBSCRIBED
Intuition for e(pi i) = -1, and an intro to group theory. Home page: https://www.3blue1brown.com/Brought to you by you: http://3b1b.co/epii-thanksAnd by the Emerald Cloud Lab: - Application software engineer: http://3b1b.co/ecl-app-se- Infrastructure engineer: http://3b1b.co/ecl-infra-se- Lab focused engineer: http://3b1b.co/ecl-lab-se- Scientific computing engineer: http://3b1b.co/ecl-sci-compThere's a slight mistake at
, where the angle should be arctan(1/2) = 26.565 degrees, not 30 degrees. Arg! If anyone asks, I was just...er...rounding to the nearest 10's. For those looking to read more into group theory, I'm a fan of Keith Conrad's expository papers: http://www.math.uconn.edu/~kconrad/bl...------------------ 3blue1brown is a channel about animating math, in all senses of the word animate. And you know the drill with YouTube, if you want to stay posted about new videos, subscribe, and click the bell to receive notifications (if you're into that). If you are new to this channel and want to see more, a good place to start is this playlist: http://3b1b.co/recommendedVarious social media stuffs: Website: https://www.3blue1brown.comTwitter: https://twitter.com/3Blue1BrownPatreon: https://patreon.com/3blue1brownFacebook: https://www.facebook.com/3blue1brownReddit: https://www.reddit.com/r/3Blue1Brown
Caption author (Portuguese (Brazil))
Caption author (Chinese (China))
Caption author (English)
00:04
two years ago, almost to the day actually
00:06
I've put up the first video on this channel about Euler's formula
00:10
e(pi i) = -1
00:13
as an anniversary of sorts, I want to revisit that same idea
00:16
for one thing, I always kindda wanted to improve on the presentation
00:20
but I wouldn't rehash an old topic if there wasn't something new teach
00:23
you see, the idea underlying that video was to take certain concepts from a field of maths group theory
00:29
and show how to give Euler's formula a much richer interpretation than a mere association between numbers
00:35
and, two years ago, I thought it might be fun to use those ideas without referencing group theory itself
00:40
or any of the technical terms within it
00:43
but, I've come to see that you all actually quite like getting into the maths itself
00:47
even if it takes some time
00:49
so here, two years later
00:51
lets you and me go through an introduction to the basics of group theory
00:55
delving up into how Euler's formula comes to life under this light
00:59
if all you want is a quick explanation of Euler's formula
01:02
and you're comfortable with vector calculus
01:05
I'll go ahead and put up a particularly short explanation on the screen, that you can pause and ponder on
01:10
if it doesn't make sense, don't worry about it, it's not needed for where we're going
01:14
the reason I wanted to put out this group theory video though, is not because I think it's a better explaination
01:20
heck, it's not even a complete proof, it's just an intuition really
01:24
it's because it has the chance to change how you think about numbers, and how you think about algebra
01:29
you see group theory is all about studying the nature of symmetry
01:34
for example, a square is a very symmetric shape
01:37
but what do we actually mean by that?
01:40
One way to answer that is to ask about
01:42
"What are all the actions you can take on the square that leaves it looking indistinguishable from how it started?"
01:50
for example, you could rotate it 90° counter-clockwise, and it looks totally the same to how it started
01:56
you could also flip it around this vertical line, and again, it still looks identical
02:01
in fact, the thing about such perfect symmetry is that it's hard to keep track of what actions had actually been taken
02:08
so to help out, I'm going to go ahead and stick on an asymmetric image here
02:12
and we call each one of these actions a symmetry of the square
02:16
and all of the symmetries together make up a group of symmetries, or just "group" for short
02:26
this particular group consists of eight symmetries
02:30
there's the action of doing nothing, which is one that we count
02:33
plus three different rotations
02:35
and then there's four ways that you can flip it over
02:40
and in fact this group of right symmetries has a special name
02:42
it's called the dihedral group of order eight
02:45
and that an example of a finite group, consisting of only eight actions
02:50
bit a lot of other groups consists of infinitely many actions
02:54
think of all the possible rotations, for example, of any angle
02:59
maybe you think of this as a group that acts of a circle, capturing all of the symmetries of that circle, that don't involve flipping it
03:07
here, every action from this group of rotation lies somewhere on the infinite continuum between 0 and 2pi radians
03:18
one nice aspect of these actions is that we can associate each one of them with a single point on the circle itself, the thing being acted on
03:27
you start by choosing some arbitrary point, maybe the one on the right here
03:32
then every circle symmetry. every possible rotation, takes this marked point to some unique spot on the circle
03:39
and the action itself is completely determined by where it takes that spot
03:47
now this doesn't always happen with groups
03:49
but it's nice when it does happen, cause it gives us a way to label the actions themselves
03:53
which can otherwise be pretty trick to think about
03:57
the study of groups is not just about what a particular set of symmetry is
04:02
whether that's the eight symmetries of a square, the infinite continuum of symmetries of a circle, or anything else you dream of
04:09
the real heart and soul of this study is knowing how these symmetries play with each other
04:15
on the square, if I rotate 90°, and then flip around the vertical axis
04:21
the overall effect is the same as if I had just slipped over this diagonal line
04:26
so in some sense, that rotation plus the vertical flip equals that diagonal flip
04:36
On the circle, if I rotate 270°, and then follow it with and rotation of 120°,
04:43
the overall effect is the same as if I had just rotated 30° to start with
04:49
so, in the circle group, a 270° rotation plus a 120° rotation equals an 30° rotation
04:59
and in general, with any group, any collection of these sorts of symmetric actions
05:05
there's a kind of arithmetic. where you can always take two actions and add them together to get a third one, by applying one after the other
05:13
or, maybe you can think of it as multiplying actions, it doesn't really matter
05:18
the point is there's some way to combine the two actions to get out another one
05:25
that collection of underlying relations
05:28
all associations between pairs of actions, and the single action that's equivalent to applying one after the other
05:35
that's really what makes a group, "a group"
05:38
it's actually crazy how much of modern maths is rooted in, well, this
05:43
in understanding how a collection of actions is organized by this relation
05:47
this relation between pairs of actions, and the single action you get by composing them
05:52
groups are extremely general
05:54
a lot of different ideas came be framed in terms of symmetries and composing symmetries
05:59
and maybe the most familiar example is numbers, just ordinary numbers
06:05
and there are actually two separate ways to think about numbers as a group
06:09
one, where composing actions is going to look like addition,
06:12
and another, where composing actions will look like multiplication
06:15
it's a little weird, because we don't usually think of numbers as actions, we usually think of them as counting things
06:22
but let me show you what I mean
06:24
think of all of the ways you could slide a number line left or right along itself
06:30
this collection of all sliding actions is a group, where you might think of as the group of symmetries on an infinite line
06:37
and in the same way that actions from the circle group can be associated with individual points on that circle
06:44
this is another one of those special groups where we can associate each action with a unique point on the thing that it's actually acting on
06:51
you just follow where the point that starts at zero ends up
06:55
for example, the number three is associated with the action of sliding right by three units
07:03
the number negative two is associated with the action of sliding two units to the left
07:08
since that's the unique action that drags the point at zero over to the point at negative two
07:15
the number zero itself? well, that's associated with the action of doing nothing
07:19
this group of sliding actions, each one of which is associated with a unique real number, has a special name
07:27
the additive group of real numbers
07:30
the reason the word additive is in there, is because of what the group operation of applying one action followed by another looks like
07:37
if I slide right by three units, and then I slide right by two units
07:41
the overall effect is the same as if I had slide right by three plus two, or five units
07:47
simple enough, we're just adding the distance of each slide
07:50
but the point here is that this gives an alternative view for what numbers even are
07:55
they are one example in a much larger category of groups, groups of symmetry acting on some object
08:02
and the arithmetic of adding numbers is just one example of the arithmetic that any group of symmetries has within it
08:12
we could also extend this idea, instead asking about the sliding actions on the complex plane
08:19
the newly introduced numbers: i, 2i, 3i, and so on, on this vertical line
08:25
would all be associated with vertical sliding motions
08:28
since those are the actions that drag the point at zero up to the relevant point on that vertical line
08:37
the point over here, at 3 + 2i
08:40
would be associated wth the action of sliding the plane in such a way that drags zero up into the right to that point
08:47
and it should make sense why we call this 3 plus 2i
08:51
that diagonal sliding action is the same as first sliding by three to the right
08:56
and then following it with a slide that corresponds to 2i, which is two units vertically
09:04
similarly, lets get a feel for how composing any two of these actions generally breaks down
09:10
consider this slide by 3 + 2i action, as well as this slide by 1 - 3i action
09:17
and imagine applying one of them right after the other
09:20
the overall effect, the composition of these sliding actions
09:25
is the same as if we had slid 3 + 1 to the right, and 2 - 3 vertically
09:32
notice how that involves adding together each component
09:35
so composing sliding actions is another way thinking about what adding complex numbers actually means
09:43
this collection of all sliding actions on the 2D complex plane goes by the name
09:48
the additive group of complex numbers
09:51
again, the upshot here is that numbers, even complex numbers, are just one example of a group
09:56
and the idea of addition can be thought of in terms of successively applying actions
10:03
but numbers, schizophrenic as they are, also lead a completely differently, as a completely different kind of group
10:11
consider a new group of actions on the number line
10:13
always that you can stretch and squish it
10:16
keeping everything evenly spaced, and keeping that number zero fixed in place
10:22
yet again, this group of actions has that nice property where we can associate each action in the group with a specific point on the thing that it's acting on
10:32
in this case, follow where the point that starts at the number one goes
10:36
there is one and only one stretching action that brings that point at one to the point at three, for instance
10:42
namely stretching by a factor of three
10:46
likewise, there is one and only one action that brings that point at one to the point at one half
10:51
namely squishing by a factor of one half
10:55
I like to imagine using one hand to fix the number zero in place, and using the other to drag the number one wherever I like
11:02
whilst the rest of number line just does whatever it takes to stay evenly spaced
11:07
in this way, every single positive number is associated with a unique stretching or squishing action
11:17
now, notice what composing actions looks like in this group
11:21
if I apply this stretch by three action and then follow it with the stretch by 2 action,
11:27
the overall effect is the same as if I had just applied the stretch by six action, the product of the two original numbers
11:35
and in general, applying one of these actions, followed by another, corresponds with multiplying the numbers that they're associated with
11:44
in fact, the name for this group is the multiplicative group of positive real numbers
11:51
so, multiplication, ordinary familiar multiplication, is one more example of this very general and very far reaching idea of groups, and the arithmetic within groups
12:02
and we can also extend this idea to the complex plane
12:06
again, I'd like to think of fixing zero in place with one hand, and dragging around the point at one, keeping everything else evenly spaced while I do so
12:16
but this time, as we drag the number one to places that are off the real number line
12:22
we see that our group includes not only stretching and squishing actions, but actions that have some rotational component as well
12:29
the quintessential example of this is the action associated with that point at i, one unit above zero
12:37
what it takes to drag the point at one to that point at i, is a 90°rotation
12:44
so, the multiplicative action associated with i is a 90° rotation
12:50
and notice if I apply that action twice in a row, the overall effect is to [rotate] the plane 180°
12:57
and that is the unique action that brings the point at one over to negative one
13:04
so in this sense, i * i = -1
13:09
meaning the action associated with i, followed by that same action associated with i, has the same overall effect as the action associated with negative one
13:20
as another example, here's the action associated with 2 + i, dragging one up to that point
13:28
if you want, you can think of this as broken down as a rotation by 30°, followed by a stretch by a factor of √5
13:37
and in general, every one of these multiplicative actions is some combination of a stretch or a squish
13:44
an action associated with some point on the positive real number line
13:48
followed by a pure rotation, where pure rotations are associated with points on this circle, the one with radius one
13:57
this is very similar to how the sliding actions in the additive group can be broken down as some pure horizontal slide
14:04
represented by with points on the real number line
14:06
plus some purely vertical slide, represented by points on that vertical line
14:12
that comparison of how actions in each group breaks down is going to be important, so remember it
14:18
in each one you can break down any action as some purely real number action, followed by something that's specifically complex numbers
14:26
whether that's vertical slides for the additive group, or pure rotations for the multiplicative group
14:36
so that's our quick introduction to the groups
14:39
a group is a collection of symmetric actions on some mathematical object
14:43
whether that's square, a circle, the real number line, or anything else you dream up
14:48
and every group has a certain arithmetic, where you can combine two actions by applying one after the other
14:55
and asking what other action from the group gives the same overall effect
15:00
numbers, both real and complex numbers, can be thought of in two different ways as a group
15:06
they can act by sliding, in which case the group arithmetic just looks like ordinary addition
15:13
or they can act by these stretching, squishing, rotating actions
15:17
in which case the group arithmetic looks just like multiplication
15:22
and with that, let's talk about exponentiation
15:26
out first introduction to exponents is to think of them in terms of repeated multiplication, right?
15:32
I mean, the meaning of something like 23 is to take 2 * 2 * 2
15:38
and the meaning of something like 25, is 2 * 2 * 2 * 2 * 2
15:42
and a consequence of this, something you might call the exponential property
15:47
is that if I add two numbers in the exponent, say 2(3+5)
15:53
this can be broken down as the product of 23 times 25
15:59
and when you expand things, this seems reasonable enough, right?
16:03
but expressions like 2½, or 2-1, and much less 2i
16:09
don't really make sense when you think of exponents as repeated multiplication
16:14
I mean, what does it mean to multiply two by itself half of a time, or negative one of a time
16:20
so we do something very common throughout maths
16:23
and extend beyond the original definition which only makes sense for counting numbers to something that applies to all sorts of numbers
16:30
but we don't just do this randomly
16:32
if you think back to how fractional and negative exponents are defined
16:36
it's always motivated by trying to make sure that this property 2(x+y) = 2x * 2y still holds
16:46
to see what this might mean for complex exponents, think about what this property is saying from a group theory light
16:54
it's saying that adding inputs corresponds with multiplying the outputs
16:58
and it makes it very tempting to think of the inputs not merely as numbers, but as members of the additive group of sliding actions
17:06
and to think of the outputs not merely as numbers, but as members of this multiplicative group of stretching and squishing actions
17:16
now it is weird and strange about functions that take in one kind of action and spit out another kind of action
17:23
but this is something that actually comes up all the time throughout group theory
17:27
and this exponential property is very important for this association between groups
17:33
it guarantees that if I compose two sliding actions, maybe a slide by negative one, and then slide by positive two
17:41
it corresponds to composing the two output actions, in this case squishing by 2-1, and then stretching by 22
17:53
mathematicians would describe a property like this by saying that a function preserves the group structure
17:59
in the sense that the arithmetic within a group is what gives it its structure
18:03
and a function like this exponential plays nicely with that arithmetic
18:10
functions between groups that preserves the arithmetic like this are really important throughout group theory
18:16
enough so they've earn themselves a nice fancy name
18:20
"Homomorphism"
18:23
now, think about what all of this means for associating the additive group in the complex plane with the multiplicative group in the complex plane
18:33
we already know that when you plug in a real number to 2x you get out a real number
18:38
a positive real number, in fact
18:40
so this exponential function takes any purely horizontal slide and turns it into some pure stretching or squishing action
18:49
so, wouldn't you agree that it would be reasonable for this new dimension of additive actions, slides up and down
18:56
to map directly into this new dimension of multiplicative actions, pure rotations?
19:03
those vertical sliding actions correspond to points on this vertical axis
19:08
and those rotating multiplicative actions correspond to points on the circle with radius one
19:15
so what would it mean for an exponential function like 2x to map purely vertical slides into pure rotatios
19:23
would be that complex numbers on this vertical line multiples of i, get mapped to complex numbers on this unit circle
19:31
in fact, for the function 2x, the input i, a vertical slide of one unit, happens to map to a rotation of about 0.693 radians
19:43
that is a walk around the unit circle that covers 0.693 units of distance
19:50
with a different exponential function, say 5x, that input i, a vertical slide of one unit, would map to a rotation of about 1.609 radians
20:02
a walk around the unit circle, covering exactly 1.609 units of distance
20:08
what makes the number e special is that when the exponential ex map vertical slides to rotations
20:16
a vertical slide of one unit, corresponding to i, maps to a rotation of exactly one radian, a walk around the unit circle covering a distance of exactly one
20:28
and so a vertical slide of two units would map to a rotation of two radians
20:35
a three unit slide up corresponds to a rotation of three radians
20:39
and a vertical slide of exactly pi units up, corresponding to the input pi * i
20:46
maps to a rotation of exactly pi radians, half way around the circle
20:51
and that's the multiplicative action associated with the number negative one
20:56
now you might ask "Why e? Why not some other base?"
20:59
well, the full answer resides in calculus
21:02
I mean, that's the birthplace of e, and where it's even defined
21:06
again, I'll leave up another explanation on the screen if you're hungry for a fuller description, and if you're comfortable with the calculus
21:12
but at a higher level, I'll say that it has to do with the fact that all exponential functions are proportional to their own derivative
21:20
but ex alone is the one that's actually equal to its own derivative
21:25
the important point that I want to make here though, is that if you view things from the lens of group theory
21:31
thinking of the inputs to an exponential function as sliding actions, and thinking of the outputs as stretching and rotating actions
21:39
it gives a very vivid way to read what formula like this is even saying
21:45
when you read it, you can think that exponentials in general map purely vertical slides, the additive actions that are perpendicular to the real number line
21:53
into pure rotations, which are in some sense perpendicular to the real number stretching actions
22:00
and more over, ex does this in a very special way, that ensures that a vertical slide of pi units corresponds to rotation of exactly pi radians
22:11
the 180° rotation associated with a number -1
22:18
to finish things off here, I want to show a way you can think about this function ex as a transformation of the complex plane
22:24
but before that, just two quick messages
22:27
I've mentioned before how thankful I am to you, the community for making these videos possible through patreon
22:33
but, in much the same way that numbers become more meaningful when you think of them as actions
22:38
gratitude is also best expressed as an action
22:41
so, I've decided to turn off ads on new videos for their first month
22:46
in the hopes of giving you all a better viewing experience
22:49
this video was sponsored by Emerald Cloud Lab
22:52
and actually I was the one to reach out to them, since it's a company I find particularly inspiring
22:59
Emerald is a very unusual startup, half software half bio-tech
23:04
the Cloud Lab that they're building is essentially enables biologists and chemists to conduct research through a software platform instead of working in a lab
23:12
scientists can program experiments which are then executed remotely and robotically in Emerald's industrialised research lab
23:19
cuuI know some of the people in the company and the software challenges they're working on are really interesting
23:24
currently, they're looking to hiring software engineers and web developers for their engineering team
23:29
as well as applied mathematicians and computer scientists for their scientific computing team
23:35
if you're interested in applying, whether that's now or a few months from now
23:39
there are a couple special link in the description of this video, and if you apply through those it lets Emerald know you heard about them through this channel
23:47
alright, so ex transforming the plane
23:50
I'd like to imagine first rolling that plane into a cylinder, wrapping all those vertical lines into circles
23:56
and then taking that cylinder and kindda smooshing it onto the plane around zero
24:01
where each of those concentric circles spaced out exponentially correspond with what started off as vertical lines
24:12
[cc first draft by Geoffrey Yeung]
English