Transcript for gr-l05

How do I get everyone this is Spectra?0:10

Five, I'm fairly sure,0:14

and we're gonna start on part0:16

part three of the of the note.0:19

Up to this point,0:22

we've laid quite a lot of groundwork.0:23

The we have the scaffolding,0:26

or to switch metaphors,0:30

we've acquired some basic tools0:32

and learned how to use them.0:35

The next section is Part 3.0:38

Manifolds, vector vectors,0:40

and differentiation is all about0:42

acquiring some more specialized tools,0:44

specifically a new way of defining0:47

vectors and that one forms and tensors.0:49

And the key thing.0:52

Discovering how to differentiate.0:54

Because the the end the goal here.0:57

Is Einstein's equations which1:00

will come to the next part which1:02

are a differential equation.1:05

On a current manifold.1:07

So we have to learn how to do that1:09

differentiation in order to set up a.1:13

What language do differentiation?1:17

For?1:19

We can set up a differential1:19

equation which we then solve very1:21

briefly at the end of part four and.1:24

In multiple cases in G2 next semester.1:26

Um, anything else I could mention,1:32

the audio notes are in the podcast1:35

that's linked from the Moodle.1:38

The notes are you have to1:40

date with part three and the.1:42

But overview videos of part three1:45

are up and I have been putting1:49

up some of last year's zoom based1:52

lectures up on the the stream.1:55

Site, whatever it's called page,2:00

which you may or may not have found useful.2:03

You're just out of curiosity,2:06

has anyone looked at those and.2:07

I don't look at those.2:09

No pool. A treatment store.2:11

They may or may not be useful to you.2:14

I am interested in on all of these things.2:17

The the version of the the the overviews,2:20

the the audio, the video.2:22

I am clear interested if you2:25

back I think you have been sent2:27

and emphasis questionnaire.2:30

You have right and these are useful.2:32

They are looked at and paid attention to,2:34

so I encourage you to fill2:36

that out in a useful fashion.2:39

Any questions?2:41

OK, let us get going.2:45

So as usual, the aims, objectives,2:53

the high level things and2:57

the more detailed things.2:59

I'm not going to go through them.3:01

You can see them. I I put them3:02

up there in order that I can.3:03

The understands these aims3:08

are all understands XYZ that,3:09

that, that is the goal here,3:11

and there is quite a long list of objectives.3:13

Most of the the the bit of the course3:16

that's most straightforward examinable.3:18

Is this part?3:20

And that's and there's quite a lot3:21

of things you can do in in in this3:23

part I mean it looks for feeling3:25

for bidding thing but if you walk3:26

through the if you walk through the.3:28

The exercise is then you take you take3:30

most of those off so that that look3:33

that look at the most forbidding of the3:35

sets of objectives of the various parts.3:37

But it shouldn't.3:39

I do aim for it to be as3:41

horrible as it looks.3:44

Whether I achieve that aim3:46

is another thing, OK?3:48

So in terms of pacing,3:52

I do plan to get all the way through3:55

section 3.1 in this lecture.3:58

If you do 3.2 and 3.3 in the next lecture,3:60

the 3.4 to the end in the lecture 7,4:02

then I'm doing very well.4:05

I think I won't probably won't manage that,4:07

but we but we have we have we have4:10

about lectures worth of slippage4:14

because I want to be about 3 on Part 4.4:15

So we have we shouldn't panic if4:17

we're not that. That's the plan.4:19

I'm gonna fall behind.4:23

Keep chattering. OK, step one,4:24

we're gonna define vectors. Step 2,4:25

we're gonna learn how to differentiate.4:27

So the first thing is the tangent vector.4:30

Now you learned about vectors in school,4:34

and you learned how to4:37

differentiate them at university.4:39

And.4:41

A lot of the ways in which4:41

you learn how to do,4:43

how to do that differentiation using the4:44

vector calculus that Gibbs developed at the4:47

end of the century was using components.4:49

And you can carry on doing4:51

that in this context.4:54

And that's how GM differential4:55

geometry was introduced for a long4:57

for a large chunk of the 20th century,4:60

you still do that render,5:03

for example, is one of the texts5:04

which takes that approach.5:06

I find it a bit confusing because5:08

focusing on the, on, on, on the.5:10

Um, and the components too early.5:13

Gives them a status that we are at the same5:16

time wanting to deny what we want to see.5:19

The components aren't important and yet5:21

we talked the component all the time.5:22

So the other more modern way5:24

of of doing this,5:25

which was I think first pushed5:26

my missing thought,5:28

Misner,5:29

Thorne and Wheeler in the 70s is to5:29

focus on the geometry and that's5:31

the approach we're taking here.5:33

So I mentioned that just to5:34

highlight that there are two5:36

quite different approaches.5:38

One I think I'd rather old fashioned,5:39

one which is where incidentally the terms5:40

covariant and contravariant come from,5:43

blah blah blah,5:45

we're not going to introduce those terms.5:46

Yeah,5:47

I think I I mentioned somewhere5:48

the the relationship between them,5:50

but they roughly correspond5:51

to vectors in one form.5:52

What we're going to talk about5:56

is we're going to stick with the5:58

that keep things as grim as.6:01

Quota free as long as possible,6:04

which isn't very long,6:06

but we're gonna start there and6:07

talk about the manifold. No.6:10

Is there any pure mathematicians in the room?6:12

You might want to sort of, you know, not,6:14

not not close your eyes at this point,6:17

but I'm going to be.6:19

Playing slightly fast and loose from6:23

the point of view of a mathematician,6:24

and I'm going to be rather6:26

rigorous from the point of view6:27

of of your working physicist,6:28

so I'm going to aim somewhere6:30

in the middle there.6:31

And there are differences,6:33

some differences in terminology between6:34

what's conventional in differential6:35

reused for GR and differential.6:37

Used my petitions.6:39

They're not important differences,6:40

they're just slight differences in.6:41

Path that has curve.6:44

I'll make you three complete.6:45

The manifold is a set of points.6:47

It said with with with very little extra6:51

structure and that petition would would6:54

would want to ask exactly what structure has.6:56

At this point we're not gonna worry about6:58

organization has valid construction.6:60

In particular, there's no notion7:01

of distance in the manifold.7:03

The structure it has is that7:05

locally it's like RN it,7:08

locally it's like a a flat7:10

Euclidean N dimensional space.7:13

What does that mean?7:15

It means that you can define a map.7:17

From any local area of the manifold7:21

to our end to end dimensional space.7:24

And it's, it's, it's like in the7:27

sense of how you move around,7:30

how you'd lay out the different directions.7:32

It's like including space.7:35

And I'll say a little more7:37

about what that means,7:39

what that means.7:41

So the manifold isn't just a set7:43

of points, a ragbag of points.7:46

It has just that much structure that7:48

lets you think of it as locally our own.7:50

And. Our goal is to add little7:54

structure to it in a controlled way.7:57

Now, so that's this is the manifold here.8:02

This this of curvy thing here. And.8:06

What we gonna call a chart is a set of8:12

functions from a point of the manifold.8:15

To the real line.8:18

So I said to functions XI. Which?8:20

Turn a point of the manifold into a number.8:23

And a set of these would call a chart.8:28

And there are any of them.8:32

If this is like like RN, OK.8:33

It might be that these are are8:41

defined for the entire manifold.8:42

It might be the defined for8:43

a subset of the manifold.8:44

The point is that round about8:46

about a point P and our three-point8:47

P there's a set of functions.8:49

So each of these functions is8:55

a map from M the manifold to R.8:57

No, we're all gonna imagine9:05

a path in the manifold.9:06

We're just a set of points in the manifold.9:08

It's there, there, there, there,9:10

there, there, there, there, there,9:11

there, there, there, there. OK.9:12

And we're going to find a curve.9:16

Which is like a path,9:18

except that is it a path which9:20

also has a function which maps the9:23

real lane to a point on that path.9:26

So a curve is a parameterized9:29

path if you like.9:31

So two curves which follow the same path9:33

but with different parameterizations.9:36

Did this curve maps 1 to that point9:38

on the curve and this other curve,9:41

another curve maps 1 to a9:44

different point in the curve.9:45

There are different curves9:46

even though the same path.9:47

OK, you don't have to remember these terms,9:51

these these verse terms long-term.9:54

I need them. I need to define these terms9:56

in order to get through the next section.9:58

So what I meant is if we have a curve.10:06

Which takes the real line or10:10

sectional real line to the manifold?10:12

And our coordinate function,10:14

we're going to call it,10:15

which takes the manifold to the real line.10:17

Then X of Lambda of T.10:21

Is a function which takes10:25

through line through line.10:26

OK.10:29

It was a set of mappings from the curve10:32

parameter to the set of coordinates XI.10:35

Or let's. Out on this one.10:43

What that means is. XI.10:50

Is a function of Lambda.10:54

Which is a function of T.10:56

Or in other words,10:59

XI is our function which maps through line.11:00

Through line. And what that means11:04

is we can differentiate it.11:08

Already we can do.11:09

Already we're talking differentiation.11:11

And we're going to talk about the the11:13

the set of of quadratic functions XI as11:16

a reference framework coordinate frame.11:18

All those various words mean the11:20

same the same thing in the in.11:22

In this context,11:24

we're going to distinguish between.11:24

So the next step is to define a function.11:29

Which maps the manifold to the real line.11:35

So an example of these Xis are an11:37

example of a function which which11:40

maps the the manifold to the line.11:42

But we're gonna pick an arbitrary function.11:44

As the manifold goes to. Through line.11:48

And we're going to talk about11:53

the functions which takes.11:55

The point P through line.11:59

The function which takes.12:03

How do I write this12:04

Lambda of T through line?12:06

The function which takes X.12:09

I of. Lambda of T.12:13

And these are all, if you've been12:18

precise about it, different functions.12:20

But we're going to talk about as if they12:24

were the same function, but we're going12:25

to label them all F as sort of pun.12:27

OK, it's at this point it's, but you12:30

realize that there are different things.12:34

That's a function from from M to R12:35

that's a function from also from MTOR,12:39

because Lambda is the point of the manifold.12:41

This is a function from,12:43

you know, N numbers XI.12:45

You are the different functions,12:48

but they're basically the same function,12:49

just in a way that.12:51

We're going to elide for the moment.12:54

So this function F of Lambda of T.12:57

What happens if we differentiate it with13:01

respect to T or this function F of XI?13:04

Of Lambda of T what happens we13:09

differentiate that with respect to T.13:11

Well, the. Checking the derivative13:14

of F with respect to T.13:16

Is some. Of a DF by DX I.13:20

Txi by. DT. Ohh no.13:26

Yeah, OK.13:32

But that's true of any function F.13:36

So we can write down instead just D by DT.13:39

Either some. Of Dxi by DTD by DX.13:44

And there's two things we can do13:55

at this point. One of the things13:57

we can do is change variables.13:59

So let's instead talk about key A,14:01

which is right way up T. Divided by E.14:04

So. D XI by DT is equal to a DX I by DT.14:12

So that D by DA is going14:23

to end up being a. DX I by.14:26

It's a T.14:33

D. By DX I. OK, that's one thing.14:36

I'm gonna come back to that in a moment.14:42

And. No. Imagine.14:45

There's not just dysfunction14:49

that this curve Lambda.14:52

There's a curve going through the point P.14:55

There's also a curve.14:56

You this so, so, so so here's our point P.14:59

There's our Lambda. Of tea and.15:03

There's a mu of another another curve15:08

which goes through the same point P.15:11

They don't meet anywhere else,15:14

but they both do cross15:15

each other at the point P.15:17

Let's ask what is E? D by D.15:21

DF by DS plus B, DF by D.15:27

T let's not worry about15:32

why we want to do that.15:33

Let, let let's think about that.15:36

Look just. Here look at this.15:41

We'll see that's. Some. Of. XD.15:46

DXIBYD. Yes. Plus BD XI by DT.15:56

ADF by D. To.16:06

Which screen is shown? What?16:13

Because they can't read.16:15

What's going on behind here?16:16

Ohh, sorry, right?16:18

You can't write dranoff. Good idea.16:20

You know, I'll just show both.16:28

Thank you. Yeah. Yeah. If I'm going16:29

off the page or not legible then,16:32

then you do exactly that. Do show.16:34

So we have, we can end up with that.16:38

But. That's a number. I said relative,16:44

so there will be. Another curve.16:47

Called the Tau of what are.16:52

The derivative of which with16:58

respect to R is just that.16:59

Aye of D XXI by Dr.17:03

Would be. And that's17:11

equal to DF by. Yeah. But.17:14

That's a lot of maths, which is the roots.17:22

Don't worry too much about writing it down,17:24

but the point what we've done17:27

here is interesting and important.17:29

Because what we've we've done is17:31

discovered that whatever. DBT is.17:34

Umm. 8 times it. No.17:41

Um. Equals a.17:48

DT8 times it.17:54

It is another thing of the same type.17:56

It's also a derivative.17:59

In other words, DBT is. Think of.18:01

This can be multiplied by the by a scalar18:03

to get another thing of the same type.18:06

We've also discovered.18:08

That you can add.18:10

Some multiple of DDS which is one18:12

of these things and the multiple of18:15

DBT is one of these things and get18:17

DDR with another of these things.18:19

In other words.18:21

These derivatives defined in that way18:23

satisfy the axioms of a vector space.18:27

So This is why we're very genetic18:30

about the the the definition of18:32

a vector space in the last part.18:34

In other words, these objects DBDT,18:36

which you're familiar with and there18:39

isn't anything really exotic there18:42

you're you're you're you're you're18:43

familiar with that sort of thing.18:45

I haven't done,18:46

I haven't pulled any fast one18:47

that's that is nothing more18:49

than what you think it is.18:50

But it obeys the accent of vector18:52

space and so we can see it's a vector.18:54

And the rest of this course,18:60

that's exactly what we're going to do.19:02

We're going to say this is a vector.19:03

And when I talk about a vector from now on,19:07

that's what I mean. OK.19:09

And So what that means is that we19:13

can write do things like write again.19:16

V.19:21

Some I'll provector.19:24

Is. DB DB duty at P Now notice19:32

that vector depends on two things.19:38

It depends on the curve.19:41

To which T is the parameter,19:44

so that vector V.19:45

Is related to the Lambda curve.19:47

Who's prompter is T? OK.19:51

So it's sort of it's it's sort of like19:54

you know what that what that means.19:60

Is that? V is called the tangent vector.20:02

It describes how much the the the function.20:06

So so yeah, therefore V.20:10

Applied to F and that's a fight,20:16

and regularly.20:18

That is a funny thing.20:19

It looks like anything to write is.20:21

DBDT. At P applied to F.20:24

Which is equal to.20:30

So what we would find to20:32

be equal to DF by? DT at.20:34

TOP. This looks like a20:41

strange thing to write.20:44

This V applied to F.20:45

All it is is an A weird way of20:48

writing a differential operator.20:51

OK, it's a differential operator20:53

which apply to F so that debt20:56

PF is defined to have the value.20:60

The value of this operator21:02

applied to F is the derivative.21:03

How fast F is changing when you21:06

change T at the value of T which21:09

corresponds to the point B.21:13

And we call it the tangent21:15

vector because it you can think21:16

of it as lying along the curve.21:19

Lambda of T.21:22

And providing the answer to the question,21:23

how much does this function F21:26

which is applied which is defined21:29

across the whole manifold?21:31

How does it change as you21:32

move along this curve?21:34

Land Lambda of T How does it21:36

change when you change T?21:39

So I'm here.21:41

F is being a scalar field in21:42

the sense that I defined it.21:45

Last part is a field in the sense that it21:48

has a value for each point in the manifold.21:51

So distinguish maps the manifold21:54

to the through lane.21:56

In this case I was wondering.21:58

What? What is?22:01

You have to FB right?22:03

So yeah, sorry I interrupted myself.22:05

So this, this, this,22:08

this V here depends on two things.22:09

It depends on the.22:11

On the curve it's standard vector to a curve.22:14

But but it's defined only.22:18

At the point P on that curve.22:20

So this operator here is is22:24

defined only at one point.22:26

OK, at the point P,22:30

so if we go back to. Umm. Uh.22:32

Or do you? Oh sorry there.22:40

Alright, so that's the the value22:42

of T which the value of T on the22:44

curve which corresponds to point P.22:47

So it's it's sort of the the22:50

backwards map there. So at the so.22:53

This vector here is defined at the22:57

point P at the point on the curve.22:60

The the value of T which23:04

corresponds to that point P.23:06

So as you as you move T along23:07

here you move along this curve.23:10

And you have a function which you go to the23:13

map the manifold to the to to the real line.23:16

As you move along that curve,23:20

the value of that function at the23:21

at the corresponding point changes.23:24

You're asking how much does it change23:26

as you go on that particular curve.23:27

So this V corresponds to that curve.23:29

At that point.23:32

You have to point you to the23:35

local nature of the mind.23:36

We could only have it at a point23:40

because all of the. And the only.23:43

No.23:48

I don't want to resist saying we can23:51

all have it at that point because23:53

that's only defined at that point,23:54

because that's not very illuminating.23:55

We applied only to point at that point.23:58

I think because the yes.24:02

If we're talking about this family of curves.24:07

The, the, The, the A Lambda of T,24:10

the MU of S, the top of our and so on.24:12

The only thing that they have in common24:14

is they all go through the point P.24:16

So we are concerned at this point24:19

with the whole set of curves.24:22

Which go through the point P.24:25

And for each of those curves.24:28

There is one of these24:30

tangent vectors defined.24:31

Which is seeing how much of24:32

the picking up the derivative.24:36

Along that curve at that point.24:41

So for each of these,24:43

did that sort of seem like24:45

an answer to the question?24:46

For each of these curves,24:50

there's a tangent vector.24:52

And so that there's a a24:54

set of tangent vectors,24:56

which we call the tangent plane.24:58

At that. At that point.25:01

So the set of these derivative operators.25:04

V would you define only at point P?25:08

Is a set which is one.25:12

That picture is A2 dimensional flat space,25:15

which is called the tangent plane25:18

at the point P of the manifold M.25:20

And that is called the tangent plane25:22

is seeing that although this looks25:26

like it's laid out on the manifold.25:28

It really touched the manifold at one point,25:30

if you like.25:32

So all the the points that are25:33

all the points in that tangent25:37

plane correspond to vectors V.25:40

But they're not perfect.25:42

But they don't correspond to.25:43

They don't join points in the manifold,25:45

they are purely at on the tangent plane.25:47

They're purely defined at the point P.25:49

And a key thing.25:54

And this might also come back to25:55

what you're thinking is that if25:57

we do all this at a point. Cute.25:59

And what else in the manifold?26:02

Then we get a different tangent plane.26:04

Tangent plane TQM.26:07

Which is a completely different plane.26:10

It's pretty different space the26:11

the the vector is defined in that26:13

different tangent plane at the point26:15

Q somewhere else have nothing to do.26:17

With the vectors in the26:19

tangent plane of the point P.26:21

We don't want that.26:25

Because what we do want to end up with is26:27

be able to ask how do the vectors? How?26:31

How do the rates of change at this point?26:34

How do they relate to rates of change26:37

at that other point in the manifold?26:38

So we do want to talk about how we go26:40

from one tangent plane to the next.26:43

We can't do that yet. We will.26:46

We need to find a way of26:48

connecting this tangent plane,26:50

that tangent plane we'll discover.26:51

The way we do that is through26:52

a thing called the connection.26:54

Conclusion the. But we can't do that yet.26:55

And they're not all going in One Direction,27:01

right? Yeah, yeah, that's right.27:03

So, so, so this, this cover is going27:06

there another cover here whatever.27:08

And a constant each is, is, is the.27:10

The that this vector V gives27:15

the answer to the question.27:16

How much does do things change as you head27:18

along that that that particular curve?27:21

So for all the curves that go through27:24

the point P, each one of them is a.27:26

A vector.27:30

The pending. Yes, look at the curve.27:35

Do they change like with the plane?27:43

And I think the so yes,27:48

you can imagine a number of a number27:51

of of curves here which go all the27:53

way through through the the manifold.27:56

So I think the ones we're interested in27:58

are the ones which go through the point P.28:01

So of all the curves that28:04

go through the point P,28:05

each of those has a corresponding28:06

vector in the tangent plane.28:08

So we're not talking about28:12

all the possible curves,28:13

only the curves which go through.28:14

So I think that is against28:17

circling around your, your,28:19

your question why are we talking about28:20

why we're talking about because we're,28:21

we're picking out what we're28:23

looking at, what happens at P.28:24

Ohh.28:31

They should expand 3.28:33

3. Should also be or.28:37

Yeah, the tangent plane is has the same28:41

dimensionality as the at the manifold.28:44

Yeah, I mean in this picture.28:46

The manifold is 2 dimensional.28:49

And and to the tangent plane,28:53

but and and and so I think that the28:54

the the name I think comes from that.28:57

So, so yes, it's a bad name,29:00

but it has the pick.29:03

The good the picture is of of29:05

a a flat plane just touching29:07

the manager at one point.29:08

Key. Um.29:12

OK. And So what?29:20

But that's so moving on.29:23

And with this in mind. We can.29:26

Look back at this expression here.29:30

And reread this.29:33

With.29:38

And five.29:41

As being. Me too, I thought.29:47

Define defining a set of basis29:53

vectors which are D by DXI. ATP.29:56

And write down DDT. A TP is a sum.30:03

Of.30:11

DXIBYD.30:15

TID by DXI. Which is um,30:18

how do I write this?30:23

Yeah, it's V i.e. Aye.30:26

Jumping back to the tation of our30:31

previous of the previous previous part.30:33

So all I'm doing here is rewriting30:36

something which was what we saw before,30:39

calling it a tangent vector with this30:41

notation here and identifying that as a30:44

basis vector and that as the component VI.30:47

And as you can see the the30:50

index is sort of matched in the30:52

sense that a raised index or the30:54

denominator corresponds to a a a30:56

load index in this so the summation.30:58

Mention still hangs together in that sense.31:01

At which point we can import all31:07

of all of the understanding we31:09

got from the last part of how.31:12

Vectors and components and stuff work.31:14

Which is good.31:19

Next thing is we'll talk with vectors.31:21

So you are asking yourselves,31:24

So what about one forms?31:26

What one forms come in?31:27

One forms come in when we31:30

ask how functions vary.31:32

So again, we're going to consider31:37

a a function. On the manifold31:39

function F arbitrary funct.31:42

And. We're going to define31:46

A1 form field called. DF.31:49

And. That we were going to find that31:57

one form field is by its action on32:02

a vector one formed remember turn.32:05

Vectors into numbers.32:07

So we're going to define this one form.32:10

By asking what its action is when applied to.32:12

DBDT at P.32:21

And we're going to see,32:25

we're going to define.32:26

So remember a function you're32:28

used to seeing a F of X equals32:30

mathematical expression.32:33

All function is is a rule for going from.32:34

Domain to range.32:37

And our rule here is given this picture.32:39

The value of that is DF32:46

by DT at the point P.32:49

And this DF. Is the gradient.32:55

So-called of the function F32:59

the one form which the gradient33:01

one form of the function F.33:03

Which is a wonderful field.33:06

In other words, it is A1 form which is33:07

defined at each point in the manifold.33:10

The value of which it obtained by definition.33:12

By definition by applying the applying33:15

it to a vector in a particular.33:18

Tangent space to give that33:22

to give that result. Um.33:24

Do uh, what does that look like?33:31

I'm also do things like write that as the F.33:34

Thank you. Umm.33:40

What blows right that is that we33:49

picking up this notation that I33:52

briefly mentioned for the contraction33:54

between one form and a vector.33:55

Um, if we write this?33:57

In component form, then we see the DPDT.34:04

Is uh.34:11

This. PDF is applied to.34:15

We could DDT is that that is operator V.34:18

We know from last part that that is it's VI.34:23

DF. EI. Which is VI. Yep.34:27

Yeah, full derivative F by D. XI.34:39

So we we can see a component version34:43

of that same thing. Been that way.34:47

And and similarly if we ask so34:51

each of the coordinate functions.34:56

Remember I said I I I had the picture there34:58

of the coordinate functions which Map XI35:01

which map the manifold to the real line.35:03

Each of those is is is also a function.35:06

So each of those has a gradient35:08

one form associated with it.35:11

Written something like.35:13

The. X. Alright, yes, XI.35:16

And we apply that to one of35:22

the basis vectors DVDX I.35:25

We get. The35:27

XXGXIBYDXJ. Part of relative and if35:34

the the the various quarter function35:37

are independent of each other.35:39

Then that will be one if35:42

I is equal to J and 0.35:44

Otherwise on or the chronicle delta.35:46

So which is reassuring,35:51

that's telling us that our basis.35:52

One forms. The the these gradients,35:55

the gradients of the coordinate functions35:60

are indeed dual to the basis vectors.36:03

As we demanded our last time.36:06

So all the stuff we learned36:10

in the last part about.36:13

Basis vectors basis one forms36:15

component blah blah blah blah36:17

blah can now apply to these.36:19

Species, vectors and these pieces one forms.36:21

So we can import all that36:24

technology and move on.36:25

Any questions about the question?36:29

Yes, I probably am, but so36:36

the point should be up there.36:38

So so yes, that's that's that's a36:42

good point, because all of this,36:46

all of the the the vectors in one36:48

form we're talking about here are36:51

in the tangent plane. Thank you.36:53

So that's all I at a point P.36:55

So so we've sort of we've we've36:58

sort of left manifold behind and37:00

and and most of the stuff we're37:02

going to do immediately is in the37:04

tangent plane at a point P so I37:06

so I I will sometimes miss out the37:08

the the P there we have to remember37:09

that that that that's the space37:12

that we're talking about here the37:14

vector space that we're talking37:16

about here is the tangent plane.37:17

Thank you.37:19

Yeah.37:25

OK, next. We're good progress here.37:29

So one of the things we did last37:36

in last part was change basis,37:38

change of mind, what the basis37:39

functions were the. The.37:42

This function here. Is arbitrary.37:46

We can change our mind about what37:50

that coordinate function should be.37:53

So if we do that.37:55

Then we will write.37:59

E. I bar you go to.38:02

Deep by DXI bar. At peak.38:06

And. This new basis.38:13

Will be related to the old one.38:15

By. Lambda I I bar E. Aye.38:19

And and. I think that there may be an38:28

exercise which allows you to to to to38:34

reassure yourself that Lambda I I bar.38:36

Is be sure to get things right, we up.38:38

Me.38:43

No. Um is.38:47

So we would have to help himself38:53

is the XI by DX. I bought.38:55

Sorry, I got off the boat.39:01

So I I encourage you to go through39:04

that section of the that that last39:08

section is slightly slower to reissue,39:10

which I'm not pulling a fast one here but.39:12

There's nothing surprising39:15

particularly writing here.39:16

The the Lambda that we saw last time39:18

is just the relationship between two of39:21

the of the arbitrary arbitrarily chosen39:24

basis functions coordinate functions.39:26

We are making excellent progress.39:32

We'll move on to section 3.2,39:35

slightly ahead of schedule.39:36

And I think last, I think last39:38

questions about that. So we've.39:41

Yeah. What, what, what,39:47

what, what with them?39:47

Define a useful vector space.39:50

Because the vector space we're able39:52

to pull in all the, all the the.39:53

Vectored at one form tensor manipulation39:55

technology from the last part,39:58

so we now move forward with it. OK.40:00

So we've defined vectors.40:07

We've defined 1 forms.40:09

And now we want to start defining40:11

differentiation of vectors.40:14

In other words,40:15

how given a vector in a?40:16

The electric field vector C.40:19

How does that vector vary?40:22

How does that vector change as40:24

you move around the space? OK.40:25

Because we want to ask things40:27

like how does the argumentum?40:30

Teacher change as you move around the space,40:32

because that's going to tell us.40:35

It turns out how the coverage of40:38

the space it turns out changes40:41

remove around so we've got we've40:43

got we're going to ask yourself the40:45

question how do you take intentions.40:47

How do we manage the to calculate40:48

with the the the the way that tends40:50

to change as they move in space?40:53

We're 2 steps.40:55

We're going to first of all find40:57

out how to do that in flat spaces.40:59

And then discovered that the41:01

step going from there to doing41:03

differentiation in curved spaces.41:05

It's quite a big deal,41:07

but it's a smaller step than you think.41:09

Which is nice.41:11

OK.41:20

So yeah, blah blah.41:27

Well, I ask that question here.41:34

What type of thing is?41:35

Is it is this is this.41:38

Just quickly, who's able to scaler?41:41

A vector. A1 form. Potential.41:43

The matrix had we hang up yet?41:47

Quite a little there. OK.41:51

Talk to each other and I41:52

think that question is?41:55

OK, with a bit of reflection,42:22

then ask the question again.42:24

Who's it with the scaler?42:26

The vector one form.42:29

Tensor. Matrix. And.42:33

It's just scale.42:41

It's just number. Because.42:43

Because. If you look at that,42:44

I think at the end here,42:47

but for me it's just a derivative.42:48

This whole thing is a complicated42:54

way of writing that derivative.42:55

And it's answering.42:57

It's answering the question, how much42:58

does the function F vary as you change T?43:00

Just number F the number.43:03

So as you change T the number changes.43:05

You move from different the manifold.43:08

How much will it change?43:09

OK, and V is a vector.43:11

Is a function actually function so,43:15

but the action of this operator V.43:18

On if.43:22

Is this there is this thing applied to43:24

F which is the derivative of DF by DT?43:28

So if you wanna be picky then used attention.43:32

We could all scale attention too,43:35

but that's slightly.43:37

It's not the simplest answer you can give.43:39

So I see this.43:43

It seems it feels it feels43:44

a bit like a trick question.43:46

But I'm saying that there's slightly43:48

less to this than meets the eye.43:49

That looks a really exotic thing.43:51

You've never seen a vector written43:52

next to a function before you think?43:54

So what this what?43:58

So what this means is that vectors43:59

in this context are slightly dual.44:01

Meaning. They're both pointy things.44:05

And what that's a good thing to44:08

have in your head and they're44:10

also differential operators.44:12

Which should be applied to functions44:13

to give to give numbers. OK.44:15

They're both things you I need44:17

both things you had at one time,44:19

and which what?44:21

Which sense of the of that I44:22

I'm I'm I'm I'm referring to44:24

in a particular context will44:25

depend on what I'm doing with it.44:27

So sometimes I'll be manipulating44:28

these vectors like vectors,44:30

but components, all that stuff.44:31

Sometimes like this there are an44:33

operator which applies to a funk.44:35

And and you've seen that that's44:41

just a summary of other things.44:43

What can you see?44:47

The same question and what sort of thing is?44:49

D XI by DT. In that expression.44:52

Wish it was a scalar. A vector.44:56

A1 form. Tensor. Matrix.45:00

Hadn't read hand but hand up yet,45:06

but still haven't found it yet.45:09

Don't you have a brief chat?45:11

What is DX IDT?45:13

And with that reflection,45:36

who she was the scaler.45:39

Who is he? Was a victor. Who?45:41

She was in one form. Tensor OK.45:44

There's sort of two Oz here.45:49

Strictly it's just it's just a scalar.45:55

It's number. It's the derivative of45:57

this function X of X of I with respect45:59

to T is how much did that that that46:02

coordinate function change as you change T?46:05

So it's just a number again46:07

because XI is just a function.46:10

But of course these are also the46:13

components of function and and.46:15

And as I said last time,46:17

sometimes I'll start the equivocate46:19

between the components of a vector46:20

and the and the vector itself.46:22

So if you said vector, OK, not long.46:23

But strictly, that's just a number.46:26

XI is a function.46:31

It's there's north of them.46:32

That ain't functions,46:34

but in each case the how much that46:35

function changes as you change46:38

T as you go along the curve.46:40

It's just a number.46:42

Um. Yeah, goodbye you abuse of notation.46:48

I was somebody. You think of VI as46:53

being the vector, but but it's not.46:54

Um. There are dual. There's that.46:58

Not sure I'm getting out there.47:09

Um. I think I mean really47:11

tricky tricky there but.47:15

OK. I'll just to start you off. I'm going to.47:18

Mention. That you have seen.47:27

Yeah, don't do that.47:33

No, let's just stop there.47:37

Let's stop a little early.47:38

I think it means we can go right47:40

into a secondary .2 next time,47:42

which I think is next.47:44