Transcript for gr-l04

Excellent. Lecture 4 and before we get0:07

going in this lecture, we'll finish off.0:12

Part 2 is is the plan and that0:15

shouldn't be too difficult.0:17

The first half of this is going to be a bit0:19

more of a remark through notation I'm afraid.0:22

The second-half should be more examples0:24

and should be a little bit more conceptual,0:26

so basis for the first half,0:28

but it should be over soon0:30

before we get going.0:32

I mentioned a couple of things on the Moodle.0:33

And one of which is that,0:36

oh, that the microphone on.0:39

That, but that's.0:42

I'm putting a button called mute,0:46

mute, mute, OK. One thing is that.0:47

On the middle page there is a link to.0:53

Oh, I can't get to that0:60

piece from here anyway.1:01

A couple of changes of things1:05

as I mentioned in the message.1:07

That said, via Moodle,1:09

there is a podcast of the audio1:10

recordings of the lectures which1:12

should be findable at the end of the1:13

link that was in that modal message.1:16

So that is a bit of an experiment,1:19

both technical pedagogically and technically.1:22

So any comments or thoughts with that?1:24

I am very keen to hear them1:26

other things that are here.1:30

Are though. Let audio podcast.1:33

But we can't get there from this computer.1:36

That thing, they're all notes with HTML.1:40

That's our bundle of the entire1:42

collection of notes format as HTML.1:44

It's sort of readable and might1:46

be useful in some circumstances.1:48

It's a lot less pretty than the PDF version,1:50

but it might be of some interest.1:52

The panel I mentioned a moment.1:54

Now, the stream channel, which,1:56

well, let's not worry about that,1:59

which I think I pointed to you before.2:01

It has a couple of things.2:04

It will have the brief 5 minute overviews2:06

of the various parts will appear there.2:10

Part 2 is there.2:13

Part Three will appear.2:15

Part Four will appear also2:16

as of 10 minutes ago.2:18

It has copies of the first couple of my2:20

lectures from autumn 2020, so they're2:26

the recordings of the zoom lectures.2:29

The the first ones I did so2:31

the little bit Robbie but.2:33

I'll, I'll, I'll,2:35

I thought.2:37

I've been two minds about putting2:39

those up and because.2:41

I was in two minds. I'll put them up.2:45

The deduction is not that.2:50

The that these lectures are are not2:51

important, and I'll put them up2:53

with a bit of a delay in any case,2:55

but there are an extra resource2:57

to use as you think appropriate.2:59

You're all have whole new learning3:02

strategies over the years and3:04

I'm sure you'll be sensible3:06

about these are the imaginative,3:07

so I will put them up there.3:09

Put these two year old lectures up as.3:11

In time. And3:16

I will point you again to the lecture3:21

notes folder in the middle which has the3:23

notes and the screen versions and the3:26

slides of the parts that have completed.3:28

So after today I'll put up3:31

the Part 2 slides PDF.3:34

There's nothing in the slides as3:36

you're as you're aware there isn't3:38

in the notes apart from the sort of3:39

answers to the quick questions things,3:42

but they will appear there in good time.3:43

I think I, yes,3:47

I think I have to date there.3:48

Regarding the padlet,3:50

I see there are some good questions there,3:51

a couple of which I think I've answered.3:55

As I say, if you think I haven't answered,3:56

if I haven't answered that then change the3:58

color back to White and I'll see it again.4:01

And I've just entered to the of resolutions.4:04

I I took compendium version of all4:07

the solutions and the compendium4:08

of of notes on the solutions.4:09

I'll release that either at the end of4:11

the semester or beginning of the next one.4:12

So it's a good time for revision but4:14

appears after after the lectures4:17

and some of the slides.4:18

And I answered these two questions as4:20

they change the color back to white.4:23

If you think that's if you disagree4:25

and I haven't had a look at these4:27

other to quick look look at this one.4:29

Someone asking, I'll post a note on this.4:34

Is there any significance4:37

to this order being swapped?4:39

No, and there isn't,4:41

because the metric is our symmetric tensor.4:42

So in general these two things4:46

would be importantly different.4:49

Because the metric is by4:51

hypothesis asymmetric tensor,4:53

it doesn't matter. OK, so.4:54

The question was we why is the4:58

basis vector being dropped in the5:03

1st place here and 2nd place here?5:05

There's no significance to that,5:06

OK, it's just.5:08

I want to change my mind to the two cases and5:11

it doesn't matter because Jesus symmetric.5:13

So I'll make a note of that later5:14

and I'll get around to this.5:17

Point. In a moment, right,5:19

we shall proceed.5:23

Are there any questions about either5:24

what I've said there or about burning5:26

questions which haven't been in the5:29

middle about what we've covered last time?5:31

No.5:33

Good.5:35

OK, so the plan now is for me to get rid of.5:35

This and.5:42

Get these again.5:48

And.5:54

I think we've got 2.6:00

But there. Didn't we?6:06

Yes, we got a bit there.6:11

So the. The.6:14

Right, we go to the end of section 226.6:24

So what we discussed last time then,6:27

was your first look at the,6:30

well, the fiddly technology of.6:34

Components and all the things6:37

that algebra you can now do with6:40

the components of 10,001 forms.6:42

And now we're going to go on6:44

to the important question of.6:48

Last time I talked about the.6:51

We talked repeatedly obesity vectors and6:54

the basis one forms that were due to them,6:57

but there's nothing special about7:01

any basis that we pick and that's7:02

the that that goes back to the7:05

principle of covariance that7:07

mentioned in the first lecture.7:09

What that principle is,7:11

is statement that there was nothing7:12

special about any basis that you pick it.7:15

There's nothing special but this7:17

initial frame, or that one,7:18

or or or any or any other.7:20

What that means in turn is is that7:22

if you change your mind about7:24

what is a good basic set of basis7:26

basis vectors or corresponding7:28

to good set of basis one forms.7:30

Then you have to be able to go from 1.7:32

Basis set to another and that's we're7:35

going to talk about in the first half,7:37

I hope all of this lecture.7:39

So what that means is some7:42

more bit more notation and.7:46

What's the best way of writing this?7:49

I'll leave that up there.7:52

New projector document camera.7:55

To that point.7:59

Four which for you?8:04

OK. So we have a basis.8:08

Our vector E could you8:14

is is the late annoying.8:16

Can you read that? OK, OK,8:18

which we're gonna write as a IDE.8:20

Aye with acid 4 the implied8:24

some of the dummy index I.8:26

And the components there are8:33

just the. Set of of numbers.8:35

And would you get when you?8:37

Apply the vector A regarded as8:42

a function. To the one form,8:46

the one of the basis one forms.8:48

OK. Now let's change our mind about8:54

what the basis vectors are and8:59

rather than the basis vectors EI.9:02

Well, state have the beta vectors EI bar.9:05

Now that looks a completely9:09

demented notation.9:11

What, not least because it's slightly9:12

fiddly to write what I've done is I put a.9:15

I I'm your bar over the index. Here.9:19

Now there are other ways of writing of there.9:25

Are there other notations?9:28

Are notional alternatives here and different9:29

books sometimes used to different things,9:31

some are prime.9:33

Some use hat some,9:35

but the general consensus is that the.9:37

The the, the the indicator good over9:41

the index and not over as you might9:43

expect over the basis vector itself.9:45

So we don't, so we don't write.9:47

E primed I, for example.9:50

We don't write that, although that that9:54

might be what you might first guess.9:56

And the reason for this?9:59

Well, I hope becomes slightly clear.10:00

So.10:03

That means that just as we can10:05

write a in terms of the.10:07

Vector EI we can also write.10:10

It in terms of basis vectors.10:13

AI bar EEI bar where there's a again an10:17

applied some over the dummy index I bar.10:21

OK. So that's just as good.10:24

Business as before and just as before the.10:31

The components AI bar are the10:35

vector A applied to Omega I bar,10:38

where the Omega I bar is the are10:41

the basis one forms dual to the10:44

basis vectors EI bar. OK. So I.10:48

All I've done this is isn't is notation.10:52

I'm just saying that this is10:56

what I'd changing your mind10:57

looks like in this notation.10:58

No. And again.11:05

So this is the component of11:11

the vector in the. Alternative.11:15

Vicious. But we can expand a.11:21

Her relic? We can,11:25

for example, write A is AI.11:26

EI. When we go. High bar.11:30

I think that that that light is annoying11:36

and we'll see if it might not be possible.11:39

However, that important to think.11:42

I don't think it's possible11:47

to make that as visible.11:49

What I could do is put it on that11:51

other one that's probably smarter.11:54

Do both. Not look at camera.11:56

Should be eligible somewhere.12:04

Ah, right, that's the problem.12:05

There's light, OK,12:07

you just have to deal with. So.12:09

We don't know what that is.12:16

We can't just decide what that,12:17

that, that, that basis vector12:20

applied to that basis of one form is.12:22

So we'll see. Instead it is.12:24

It's some set of numbers Lambda I bar I.12:27

And that Lambda, which is a matrix,12:35

is a collection of numbers.12:37

Of and by numbers.12:40

That matrix Lambda is what characterizes the12:42

relationship between one basis and the other.12:46

And it is just this bit of vector EI12:50

applied to the base of one form EI bar.12:53

OK. So that's your transformation12:56

matrix that takes you from 1.12:59

Vicious to the other.13:01

So, so that that.13:04

But it's probably not a.13:06

This is a long way to something13:08

you possibly have thought of13:10

before you know the context.13:13

Umm.13:15

Yeah, we've written the matrix at that. And.13:19

In the same way. The.13:26

And. Let's see the.13:31

The components of our.13:34

One form P will be P.13:38

Applies to E. Ibar. And.13:46

Again we can write P is equal to Pi Omega.13:53

IE I bar which is equal to Lambda I13:59

I bar Pi and you can see this all14:05

sort of works in terms of the of the.14:09

Commission convention because the the14:13

pattern of of of raising load indexes14:15

hangs together and we end up with,14:17

as here, one eye bar in the bottom and14:20

a pair of of of recent Lord eyes on14:24

the on the right hand side. So. Um.14:27

So I will. Go I I sort of want to see.14:42

Have a look through these yourself.14:48

I'm indecision.14:54

Yeah, let's go through this. I'm, I'm.14:60

I'm slightly nervous here because the15:04

it's always very easy to get these15:06

indexes wrong when so doing this as15:08

it were alive in front of people, but.15:10

The next step? Is to. Uh.15:14

Yeah, I do it that way.15:24

We want to look at the.15:30

I don't make this too complicated,15:37

but I don't wanna make it trivial and15:38

let's write down this Ohga. I e.g.15:41

Which is, so this is the,15:49

the basis one for this happening15:51

just in one in one frame and15:53

we'll write that down as delta I.15:56

Edgy, so I'm on 2 minutes15:59

going through the step by step.16:01

I think I will because it's useful16:03

as an illustration of the handle16:06

turning of of of the relevant algebra.16:09

So we have an expression like that,16:13

but we can also write each of those.16:16

And that says and this is what16:20

written down here is just the16:22

thing we decided on last time that16:24

the that the basis one forms are16:26

going to be dual to the basis of16:27

vectors in this very specific sense16:30

that we will one apply to E1 is 116:33

when we go one apply to any other16:35

basis basis vector is is 0.16:37

So that's that's all that we're16:39

seeing there that's that's the16:41

definition of of of dullness.16:43

Well, then write down these two things16:44

in terms of the expressions we have here.16:46

That's Lambda I.16:48

I bar Omega. High bar.16:50

Applied to Lambda, G Bar G. E.g bar.16:55

I can't obviously write.17:03

I I buy I here because I've already17:06

used up I already in the sum,17:08

so I've gotta pick another dummy index.17:10

Tensor application is linear in its argument,17:13

so we can take that Lambda out.17:16

Get Lambda I I bar. Lambda G by G.17:19

Omega. I bar E. G bar.17:25

But we are also going to presume that the in17:30

the change basis the the the basis one forms.17:36

I bar are also due to the basis vectors17:41

in that basis, so that will be.17:45

Lambda I I bar Lambda G Bar G Delta17:49

I bar G bar and we do that sum.17:55

You end up with Lambda I bar I. And.17:59

Lambda I bar G.18:08

Which is the unit, the identity matrix.18:13

Remember, Delta is the components18:18

of the the matrix with the the18:20

with all ones on the diagonal.18:22

We're just telling you that Lambda18:25

I I I bar a Lambda I bar I.18:27

Are. Matrix inverses.18:31

So this is an example.18:34

I think I earlier said that if you18:37

look at the components of a tensor.18:39

Then they will are always18:42

representable at a matrix.18:44

So you just because you've got an array of18:46

of end by end by whatever whatever numbers.18:49

But there are the.18:52

The converse is not true.18:53

This is an example.18:54

Lambda is an example of our.18:56

An array of numbers,18:59

a matrix which does not have19:01

a corresponding tensor.19:04

Because there isn't a geometrical object19:05

which those lambdas are the components of.19:08

OK, that's a key thing.19:12

So the the the matrix of components of.19:15

Or the the the vector of the19:19

the the column of of components19:21

of a vector or one form or the19:23

matrix of components of a tensor19:26

are not just a random matrix,19:28

they are linked to the geometrical19:30

object single geometrical object19:32

which is frame independent.19:34

But Lambda is not a tensor and that's19:35

why just just parenthetically we write19:39

the indexes just one above the other.19:41

If you remember when we write the19:44

the matrix the components of our.19:47

Are two taken frontier.19:50

We carefully staggered them19:51

because they're referring to19:53

different arguments of the tensor.19:55

In this case, this isn't attention.19:57

There's no need to stagger the indexes.19:59

And then we write the one above the other.20:00

And in this for something like that,20:03

you can sort of start to see20:05

why the bar goes over the.20:08

Index rather than the rather the vector.20:10

The vector,20:15

because it lets us keep track20:16

of all of which way round.20:18

Or which we up if you're like20:20

the the matrix Lambda is.20:24

And that,20:26

but you couldn't do if if if the20:27

dictation were elsewhere the question, sorry.20:29

2nd.20:33

This should be I, bar J,20:36

bar J yeah, yeah, this one,20:37

that's I I bar I bar G because we have.20:40

Summed over the of the J bar.20:45

So that is if we do the sum over J bar.20:49

This term here will be 0.20:54

Except where G bar is equal to I bar.20:58

So the only time that survived out of21:01

that out of that sum is the term where21:03

G bar is equal to I is equal to I bar.21:05

So that's how we get that.21:08

Thank you. Yes, so it's important.21:09

So part of the point of of of me writing21:11

this out long hand is to go through exactly21:14

that the step by step quite slowly. So.21:16

So yes we are doing that sum over J bar21:19

and that's why that deals with there21:22

you know changes that G bar into an I bar.21:24

So we're left with a sum I bar I.21:27

Do W indexes were left with21:31

an I raised eye a, lowered G?21:33

Just as a relieved I Lord G.21:35

So everything matches. OK.21:38

If the the the indexes you got on one side21:41

do much indexes you got on the other side,21:45

you have done it wrong.21:48

OK, OK, what you've done wrong,21:50

but you've done something wrong.21:52

So that's always a check.21:53

Can be at every step.21:55

Through this calculation, we could check.21:57

Does the does the have one22:01

raised 11 lower G duplicated.22:03

I bar Dublin G bar.22:05

That's good,22:06

that line is good and so on.22:07

So you can check each line against22:09

that with that Santa check.22:11

Umm.22:15

And there's.22:18

Right and and. I'm not going to go22:25

back and forth through the the notes,22:29

but by going through a similar sort of22:31

calculation you can discover that this.22:34

Lambda matrix is transformation matrix.22:37

It doesn't just transform components,22:39

it also ends up being the.22:42

How you turn?22:47

1. Basis. Into another. And Omega.22:54

I bar equal to Lambda I bar I.23:02

Now you may think, Oh my God,23:08

that's an awful lot of things to memorize.23:10

You really don't need to memorize23:12

anything because once you once you've23:14

got the idea that there's a an,23:16

in this case an E Lambda and a knee.23:17

There's only one way the indexes can go.23:21

So you don't have to memorize this,23:25

you just have to know that you know23:27

the general idea and and and the23:30

index is fit in it only one way.23:32

So there's no memorization here.23:33

But there's a a useful exercise.23:36

It might be.23:41

What exercise 214 to 217,23:44

which invites you to form a I I23:47

just a table of all of these things.23:49

It's not terribly exciting,23:52

excited, but it it helps you to23:53

drill that a little bit more.23:55

So that is useful.23:57

And this sort of thing also is why23:59

I think it's useful to use bars24:01

rather than hats or or primes,24:03

because it's just slightly easier24:06

to write them neatly, I find,24:08

rather than having dashes or or or24:11

circumflex or all over the place,24:14

and then later on we start introducing24:16

punctuation to this notation,24:18

things would get a bit hairy24:19

unless we end up with a very neat24:22

handwriting at the end of this course.24:24

Well, you're very neat handwriting24:26

over a few letters your your queues24:28

might look terrible, but your eyes,24:30

G's and keys will be perfect.24:32

Umm.24:34

And and this this is these are24:37

both generalizable, it turns out,24:42

so that something like TI bar.24:44

AG Bar Key bar is equal to Lambda I bar24:47

I Lambda G bar G Lambda K key bar T.24:52

IG. OK. And and again,24:59

I didn't have to remember.25:03

I didn't memorize anything there.25:04

I just remembered the pattern.25:05

There's one Lambda per index,25:07

and there's only one way25:08

that the index is fit in.25:10

Umm.25:14

But, but boom, there's a few other remarks25:20

which in at the end of that section which25:22

I don't think it's useful to belabor.25:25

But in the in the last half hour I25:27

will going to move on a bit but first.25:30

What questions have you about that?25:33

I question the. See.25:38

To the.25:43

Here.25:50

Yeah.25:53

Yes, because I think that's a very good25:56

point that's useful to highlight that26:01

these because they're matrices and26:03

because that's just a matrix of numbers,26:05

these are all numbers. They're all,26:08

they're all things on the real line,26:10

so you can swap them over on all you26:12

like and because the the the sum.26:15

So. So one of the advantages of this26:19

component notation is that it means you26:21

can swap things arbitrarily, because26:23

they're just numbers and numbers commute.26:24

So when we later come on to talk26:26

about differentiating things.26:29

Differential operators don't commute26:30

with numbers, but numbers do.26:32

So is that what you meant?26:34

You. Yeah, yeah.26:37

So yes, you could if you wanted26:38

to write those another order.26:40

Weird, but you're allowed.26:41

OK, your question there.26:43

Swap them around without having26:45

to to change the index.26:47

Indeed, absolutely so I could if I wanted26:49

to if I was really confused myself, right?26:51

T like Lambda I bar.26:55

Key Lambda G bar M.26:60

Sorry. If we bar Lambda K.27:07

Bar and Lambda. And.27:14

G Yeah, G. Cheap bar equals T.27:19

KM. Gee or something?27:27

Now that would be perverse,27:30

but but there's nothing stopping27:32

me doing that because all that I've27:36

done there is I've changed is.27:38

I've changed my mind about the dummy indexes.27:40

And to a stupid thing.27:43

But I'm an allowed allowable thing, OK?27:45

So, so I've just to to check one dummy.27:50

Dummy, yes.27:54

So I've I've still got a IIRG bar.27:54

So I've I've I've given27:59

myself too much leeway there,27:60

so sorry, that should be G bar.28:01

And that's that has to be a key bar.28:04

So there's a a matching.28:07

I bought gbar keybar.28:10

But28:13

KM&G in this case I don't mean28:16

indexes, so so so disappear.28:18

Please.28:22

Yeah.28:26

And second position then we28:29

would have to put K bar.28:31

No. So if it's what those28:37

dreaming no cause, because still.28:40

The, the, the, the the sum would be.28:43

OK, let's write that down.28:46

Like it's just just just just show it.28:47

So if we wrote a Lambda G bar28:51

G Lambda I bar I Lambda key28:55

bar tigg key that you mean?29:01

Yeah. Yeah. And the the again,29:05

it's still just a sum over.29:08

I G&K and because they're just numbers.29:12

And each element in that sum,29:17

all that will have happened in the29:20

there's quite long sum that is an end29:22

by end by end sum is that the the29:24

real numbers in the product of each of29:26

those terms will be in a different order.29:29

So. So yes,29:31

these lambdas are just numbers.29:33

How to decide the order of the T?29:36

Order of the right size,29:40

up or down, right.29:43

In both these cases, this is a 2.29:46

There's this appears to be a A21 tensor.29:50

There's 10s, it's a tensor29:53

which takes I've just you.29:54

I just picked a a rank to to illustrate this.29:55

So it's a A21 tensor.29:58

So there will be a two ways and one Lord.29:60

Indexes. So once,30:04

but once you've got and and and it's,30:05

it's a 21 tensor here, it's a two.30:08

It's the same true one tensor here.30:11

So it'll have the same pattern of indexes.30:13

And once we've got that pattern,30:16

then the pattern of of lambdas30:18

inside in this transformation follow.30:21

The last line, that's right.30:27

It is last line below.30:29

So it is 21 tensor.30:32

It's so true. 21 tensor, yes.30:35

The two up and one down, one down.30:37

Yeah, yeah. You have to show up all three.30:40

Or can you just swap high bar to I30:43

and then just give J bar and J bar?30:46

Yes you would have to because the.30:48

What what this set of numbers is?30:53

Is the components of that tensor30:56

in that transformed basis.30:58

So. In each, so it is. So31:00

TIGI bar G Bar K bar is equal to T Omega.31:09

I bar. When we get a cheap bar.31:13

Ek bar and it wouldn't make any sense,31:19

really. To to, yeah,31:21

if you were to to drop in one forms31:25

and vectors from two different bases,31:31

you get a number, but it wouldn't mean any.31:34

They are just. The different forms31:37

of the tensor to write down.31:40

These. This is one form in Japan.31:43

The below is another form,31:47

so this tends to this tensor.31:51

Here is A21 tensor, yes?31:53

So it's the same.31:55

The same with yes,31:59

it seemed interesting.32:01

It's just the truth.32:02

It seemed unsure. Yeah,32:04

just inform the same tension,32:08

OK, and one better move on.32:09

But one last question there.32:12

Yep.32:17

It equals the components of tensors, yeah,32:20

so equals the components of a tensor, yes.32:22

So and so each of these is a matrix.32:26

That's a matrix which is the the32:31

the matrix components of a tensor.32:33

And similarly that's a metric which32:35

is the component of tender and so,32:37

so this is our.32:40

One tensor is equal to N by N by N.32:42

Terms which are a number times32:47

the components of a tensor.32:49

Is that what you were asking on the next,32:52

but you just got the three members?32:55

So that that's not that.32:59

That's not supposed to be.33:01

Or is it? Yeah, yes.33:03

So not the not equal sign there,33:06

but spotted well someone,33:08

someone is paying close attention.33:10

OK. That is the all of the components,33:12

all the components gymnastics33:20

that we were introducing.33:22

So the last bit is slightly less.33:24

These were heavy and just a33:28

few more examples of BC's and33:30

transformations and spaces.33:32

So the first example of a space33:35

in which we can talk these33:37

things is flat Cartesian space.33:40

Now it's flat in the sense that33:42

I think do I define that here?33:44

I think there's.33:47

Just flight, welcome back to33:51

flat in the morning. And you're33:52

familiar with flat Cartesian space.33:53

Flight Euclidean space if we were flat33:56

Euclidean space with a Cartesian basis.33:59

So Euclidean space is the space34:02

we're familiar with, but if we're,34:04

Pythagoras theorem works.34:07

The Cartesian basis is the X&Y basis,34:08

so so things like are given.34:12

The basis vectors are.34:15

Orthogonal to each other.34:19

No, we and the unit and the other34:21

unit length although right now34:23

because well up to the point where34:25

we define a a metric on that space.34:28

We can't talk about length or about angles.34:30

But you know you you have34:33

a metric in your head.34:34

Pythagoras theorem is the34:35

definition of a metric. It is.34:36

It's how you turn direction.34:38

Directions into into distances.34:41

So in Floaties,34:45

because he's in space, we have.34:48

Umm.34:52

EX. 1 E y = e two and this is34:58

a good point to say that I35:05

will sometimes swap between.35:08

And numbering the basis vectors35:10

and giving them, you know,35:12

I'll say more pneumonic. Remove.35:14

There we can sort of sum over these things.35:16

We can't remove these,35:19

but if if we're different specific things,35:20

it's useful to write things like that, so.35:22

Our vector in fact you clean space35:26

or in any thing A1E1 plus A2E2 and35:29

which we can say right as a ***35:34

just like the informal notation.35:39

And that's something you learned35:43

about in secondary school?35:44

So that's there's nothing exotic there.35:47

So this is a very,35:50

a very long way to come back to.35:51

Some of you learn about school,35:53

but there's nothing,35:55

there's nothing extra at this point.35:56

Um. So what are the?35:58

The one forms in this space.36:03

Well, there's no,36:06

as we said earlier that we that we there's36:07

no constraint about what the one forms are,36:10

but we can choose them so that36:13

the contract to form the direct36:16

delta function to the so the basis,36:19

the basis one form #1 contracted36:22

with basis vector one is 1.36:26

And the zero contracted with other ones.36:29

And what do the components that look like?36:31

They look exactly the same as the vectors.36:33

So in.36:36

Flat clean space the one forms.36:37

When you turn the handle and find with36:40

root like look exactly like the vectors.36:42

You can't tell them apart and that is why36:44

you never had to learn about them before.36:46

Because in the sense you've always been,36:49

you're dealing with one form.36:51

In fact, you could in space,36:52

but you didn't know it because they looked36:54

at it indistinguishable from vectors.36:56

So if if you want to think of it that way,36:58

you could say that row vectors37:01

in the example you used earlier37:03

are are the one forms of flat.37:05

You could use space,37:07

so you'll be using them all the time,37:08

but you never had to had to care.37:09

Similarly if you.37:13

If you have continued mechanics37:17

in in previous years,37:18

you learned at the National37:19

Center or the strain tensor,37:21

you never had to worry about raise lowered37:23

indexes because the didn't matter.37:27

There's no difference between the reason37:29

Lord indexes if you like in Euclidean space,37:31

the the components the one are the same,37:33

the transformation between them is just the37:35

right delta rather than the more complicated.37:37

Not the right delta,37:39

the chronicle delta.37:41

And.37:43

OK,37:45

let mustn't get bogged down.37:45

And our metric in this space is37:50

just G has components. GIJ equals.37:53

You know that that's.38:02

Here there there's no sums38:04

in the nose imply summations.38:06

Here our metric in.38:08

The for the space is just.38:11

The 1001. You're like, which ends up with38:17

when we apply that to. And. A vector.38:22

We get GIG.38:30

AIAG. Picking up what we did last time.38:36

And if we do those sums. Actually.38:40

I = 1, I equals and so on.38:45

We get a 1E1 plus E2E2 which38:47

is equal to a 1 ^2 plus.38:53

You 2 squared, which is Pythagoras's theorem.38:57

So deciding that this is a39:01

defining metric this way.39:04

Is equivalent to seeing the Pythagorean39:07

Theorem works and the and the.39:10

The length squared of this vector39:12

A is just it's X component squared39:14

because it's white component square.39:17

Um. Ohh yeah. And and and what and and39:25

it's is is this fact that means that39:29

when you raise the index or lower the39:31

index of of of a we we we raise the39:34

indexes of a a vector in this space.39:36

What you get is. The same number.39:38

In other words, vectors and and39:41

one forms have equal components.39:44

In space. And the other points are.39:46

I'll go through the polar coordinates,39:54

but fairly quickly just39:56

because I want just to to.39:57

I'll draw your attention to that section.39:59

It is the same set of ideas,40:01

but with another case that you're40:04

familiar with Paul coordinates,40:07

but which is slightly less40:09

trivial than the the Euclidean40:11

space with Cartesian coordinates.40:13

And you can again discover what the.40:15

The components of this transformation matrix.40:20

We might even have that in our.40:24

And that's.40:30

OK, I'll go through this very quickly.40:32

And so the, the, the basis,40:34

the basis vectors of polar coordinates.40:37

Are just a transformation away from the40:41

basis vectors of Cartesian coordinates.40:43

So say E1 and E2 are the40:45

the X&Y basis vectors.40:48

They're familiar with the.40:50

Basis vector in polar coordinates40:53

is that very obvious transformation40:55

away from that, the basis.40:58

The basis vector, the tangential one,40:59

is a similar one.41:01

That are there is not41:04

what you've seen before.41:05

Usually when you've seen this41:07

transformation written down before41:09

in what implicitly they're scaled41:10

so that that are is not there.41:12

And that is what makes the one you're41:16

more familiar with, the basis vector,41:19

the basis vectors for polar coordinates.41:22

It makes them unit vectors.41:24

So these are not unit vectors.41:27

These are these are natural and41:29

different sense, so that's not a typo.41:31

That is the sort of natural thing.41:33

It's context, and nobody would into that.41:35

But the point is that that here,41:37

this is a concrete example of41:39

a change of basis. And.41:41

Boom, boom, boom, boom.41:43

I've components of the the Lambda matrix,41:45

the transformation matrix Lambda.41:48

So that that's.41:50

So that's just.41:51

The transmission matrix Lambda applied41:53

to the pair of basis vectors E1 and E2.41:56

And I'll leave you for that section42:01

slightly more slowly in a moment.42:05

And it's worth and and we can point out that.42:08

Um.42:15

I'll let you look at that after I42:18

put the slides up in a moment and42:20

the the metric of polar coordinates.42:22

G is equal to 100. R ^2.42:32

Which I mentioned just to show that it's42:38

not the the the diagonal unit matrix of42:41

the metric of in Cartesian coordinates.42:44

That's again, that's all in the notes, so.42:47

And. I'm going to skip over.42:51

I'm going to skip over taking 23342:58

because although it's not false,43:00

it's it's a potential little43:01

confusing and go to another very43:04

important special example where the.43:07

It's Minkowski space where the metric.43:16

And you do the traditional thing of43:20

rating the components in mikovsky43:23

space with Greek letters. And.43:25

The metric is also traditionally43:29

referred with water rather43:31

than G is the diagonal matrix.43:33

And. Made 1111.43:35

Umm.43:42

And each a here is a matrix with43:45

a particular constant components.43:49

It's not, it's not the,43:50

they're not component of a tensor.43:51

The vectors in this space are a.43:56

A equals to a.44:02

MUEMU. And we can write the.44:06

Really. I. And the the. Umm.44:14

Yeah, the metric applied to44:21

two vectors GABG mu nu. AM UB.44:25

New which will be equal to.44:30

MUBMU, which were equal44:37

to minus. Oh, thank you.44:39

0B0 plus A1B1 plus A2B2 plus A3B3 where44:44

I am sticking with the convention44:52

that in Minkowski space the basis44:55

vectors are numbered 0123. The indexes.44:58

Index is run over 0123 and there's45:04

it's a four dimensional space.45:07

And So what you what we have got there?45:09

Is the inner product in Minkowski space45:13

the inner product of special relativity45:16

that you may recall from the last time45:18

that you studied special relativity?45:21

So this is a prompt,45:23

a hint to perhaps drift back to45:24

those notes from two years ago45:27

and remind yourself a little bit45:30

of what was the question.45:32

Using it.45:35

Than in.45:37

Because it's arbitrary. The signature. Why?45:43

In second year we use the metric45:51

which was plus, minus, minus, minus.45:53

And if you make that the signature,45:57

then the signature of 1 +,45:60

-, -, 1 -, 1 -, 1 -, 2,46:01

the signature it will for because it will46:03

always be either minus two or minus or +2,46:06

depending on your on your convention46:09

and a number of other equations46:11

you change in turn now.46:12

I prefer when you talk with special46:16

activity to use the signature minus two,46:18

because then the interval46:21

is the same as proper time.46:23

It is more conventional in GR.46:26

And to use this, the signature the46:31

opposite way around so that um. The the.46:34

And spatial sector has the plus,46:39

plus, plus.46:42

So and that's really just a matter46:42

of taste some extent sort of taste46:44

and tradition you know we so it46:46

would perfectly reasonable to46:48

introduce special activity with with46:50

that metric but it is arbitrary we46:51

were undergoing nothing changes.46:54

So with in 30 seconds I've questioned yes.46:57

The maintenance.47:02

Or diagonal, so that that's the47:03

expression diagonal mobile.47:06

So it's a matrix which which is is 047:07

except along the along that diagonal.47:10

OK. And? Um.47:13

Blah blah and the transformation matrix,47:17

which takes you from one basis47:21

vector with that basis vectors in.47:24

Because his space.47:26

To another basis vector.47:28

Instead of vectors in Minkowski space47:31

is this transformation matrix here,47:34

which you may be familiar with47:36

as Lorentz transformation.47:38

So all the right transformation is47:39

is just how you get from one basis47:42

basis set attached to the station47:44

platform to another basis set47:46

attached to a moving a moving object,47:48

a moving train.47:50

That's what I transformation is.47:52

It's a basis,47:55

a change of basis and the and the47:55

point of all of this positivity and47:57

yeah is that the base is the physics47:59

doesn't change when you do that.48:01

And that in fairly decent time is is us.48:05

There's a few extra marks in in in in48:10

section 2.4 we talk about coordinates,48:12

bases, and just clear bits of terminology.48:14

It would be good to have a look48:17

at that section just to get48:18

your head straight around those.48:20

But that's I've done with with Part 2.48:21

So we'll go into Part 3 next time,48:23

which is next Wednesday.48:25