Differential Geometry in Under 15 Minutes

Рет қаралды 124,814

Qilin Xue

Күн бұрын

Пікірлер: 137

@agspda 2 жыл бұрын

My left ear says this was an amazing video! it's so excited to explain it to my right one tomorrow.

@adamfattal9602 2 жыл бұрын

Lol

@agilaffandy Жыл бұрын

😂😂😂

@yat-lokwong2163 Жыл бұрын

I thought my right airpod was broken... im glad you posted it

@NoBobPro Жыл бұрын

I watched it first time without earbuds and thought it was some kind of differential geometry joke that I didn't get. Now I laughed when I saw this :)

@BOON2785 Жыл бұрын

We need global best comment awards.

@dj098 2 жыл бұрын

Awesome video! I am not sure how much of it I understood, but it makes me think of how far geometry has progressed since Euclid's times in terms of its abstraction and technical sophistication.

@defaultlamplamp965 2 жыл бұрын

Turning on mono audio fixes the audio. Good content!

@steventhijs6921 2 жыл бұрын

Big brain

@DogpatchActual 2 ай бұрын

yeah I'm a cyber security engineer and know how to do this...but it's not my fault the audio sucks.

@AdrianYang Жыл бұрын

The idea around 1:49 is really smart: instead of compressing the two semi-spheres into 2-D circles, compressing the southern one into a 2-D circle, and then cutting and stretching the northern one onto the same 2-D plane so that the central circle is left as a hole (which is already occupied by the southern). Then since the northern pole is mapped to infinite numbers of points at an infinite distance, only it is not mapped onto the 2-D plane. Thank you for your video.

@WithinEpsilon 8 ай бұрын

Flashback to my Tensor Analysis class, taught by a physics professor. This is much better!

@robertwilsoniii2048 10 күн бұрын

lmao.

@manimusicka2 Жыл бұрын

Such a great video with beautiful animations! Thank you Qilin!

@bugiairl 9 ай бұрын

Great video, helped a lot to understand this concept, I’d love to see you cover other subjects!

@bennunoo2046 Ай бұрын

I immediately understood why I couldn't hear anything when I checked the comments because only my right ear piece works

@mathe3829 2 жыл бұрын

Man, you teach a Semester of DG in 15min. You are a genius

@AlejandroMFilz 2 жыл бұрын

My left ear enjoyed this, really cool!!

@alepica3571 Жыл бұрын

Windows Settings > Accessibility Options > Hearing > Turn on Mono Audio

@DogpatchActual 2 ай бұрын

not my job, content creators

@eden3864 2 жыл бұрын

A point on the animations--k-forms should be thought of as paralellopipeds, not simplices. Consider ||v wedge w||---it is the vol of the paralellopiped, which is twice the vol of the simplex.

@qilinxue989 2 жыл бұрын

You’re right, that’s my bad!

@winniedobrokot Жыл бұрын

I was completely lost at 6:30 with line X = ∂/∂x + x ∂/dy. It looks like differential operator created as combination of multiplication, addition and differentiation named as X. But I don't understand how it related to visualized vector field or any vector field. The operator after application to some function of two variables gives gives just function, not two functions of vector components. Also voice description become ambiguous because "X" and "x" sound the same. And I don't understand everything after, because it based on this. For example, the next slide shows equality ∂/∂x(x ∂/dy) = ∂/dy But ∂/∂x(x ∂/dy) equals to (∂/dy) + ∂/∂x(∂/dy) by differentiation of multiplication... And how it related to the vector field is still non-clear. Next slide, some "forms" things are used without explanation what the forms are... And I lost again. The "dx" for me is "hieroglyph in the integral notation to tell what variable is used for integration" or "hieroglyph in the differentiation operator to tell what variable is used for differentiation" with some vague relation to infinitesimally small piece in the definition of integral and differentiation by limits. Or related to intuitive understanding of integral as "sum of small pieces dx" or differentiation as "division by small number dx", but it is intuitive, not formal, and I am not sure this "small piece" is "form". So, maybe this video is useful to those who already know the subject to recall the whole subject, but I couldn't extract any knowledge after 6:30 because lot of unknown or implicit assumptions. For example, it hard to tell is empty space between letters means application of operator or is it multiplication when you are not in the context, because you want to learn the context. Still, it was very interesting and useful part before 6:30 to see how arbitrary manifolds are tied to functions and researched by local "maps" of these functions. Thanks for great work anyway, I think if you consider that some implicit things are not evident for newcomers, it will make great educational video for newcomers too.

@mediwise2474 Жыл бұрын

Pl suggest me how to learn differential geometry and tensor I I v poor in maths

@alexmathewelt7923 3 ай бұрын

First, tangents are no more just simple line attached to the "surface", since this is not possible in all cases. Tangents are now Derivations / velocity vectors of curves. A simple example: The cartesian coordinates have the coordinate chart φ(x, y) = (x, y). The y-axis is now the curve γ(t) = (0,t) and its velocity at t=0 is γ'(0) = (0,1), which is what we normally also interpret as the y direction. But in another chart ψ(r, θ) = (r cos θ, r sin θ), this curve γ has a totally different meaning: it's the radial component and its direction depends on the position on the manifold. So tangents have two important components: the position and the direction. And the basis of this vector space are ... the partial derivatives ;-) For our regular cartesian coordinates, the basis would be {∂/∂x , ∂/∂y} and for the polar coordinates {∂/∂r , ∂/∂θ}. The change of basis is now the jacobian of the transition map (θ ο φ^{-1})(x,y). Maps and charts are specifically chosen names for this, since real charts on paper behave the same way in the overlapping area. The creativity didn't end here, the collection of charts, that fit the whole manifold, is called an Atlas. A vector field now has coordinates and basis vectors. The Vector Field V(x, y) = (x, y) in R2 points outwards from the origin, but we assumed a basis, when writing it as the components of the vector (x,y). Explicitly written, this would be V(x,y) = x · ∂/∂x + y · ∂/∂y. The same Vector field also would be V(r, θ) = r · ∂/∂r using the polar coordinates. Derivatives are like directions at a specific point (which I omitted here), the long version would be " ∂/∂x|_p " the p.deriv of x at p. I agree, this is a bit of a mess, when starting diff. geo. So I rewrite it a little bit: V(a, b) = a ∂/∂x|_(a,b) + b ∂/∂y|_(a,b) . In Words: The vector field at point (a,b) points in the direction a times the direction x at point (a,b) ... plus ... b times the direction y at point (a,b). The example X = ∂/∂x + x · ∂/∂y is just the Vector field X(x,y) = (1, x) in cartesian coordinates. But the Vector field X acts as u said, as a differential operator on a scalar field on the manifold. The next thing to note here is the Dual Space of V. This are linear function from the Vector Space V to its field (real manifolds, this are the real numbers). In finite dimensions, there exists a natural dual basis. For our example: if { ∂x, ∂y } is the basis for our Tangent space at point p, its dual basis is defined to be { dx, dy }, with dx(∂x) = 1 , dx(∂y) = 0 , dy(∂x) = 0, dy(∂x) = 1, also known as the kronecker delta. Differentials (or 1-forms) measure the corresponding components amount in a vector. So it's just natural that the answer to "How much does ∂x point towards ∂x?" is 1 and "how much does ∂y point to ∂x?" is 0 (in the cartesian basis!). The Tangent Space at p is typically denoted as T_p M and its dual space T*_p M

@Naverb 2 жыл бұрын

This is differential topology, not differential geometry. Stokes theorem is definitely cool and used from time to time in diff geom, but defining the exterior derivative does not require the existence of a metric

@qilinxue989 2 жыл бұрын

You’re right, but the course name was differential geometry so I had it there for consistency.

@goldplatealuminum1102 2 жыл бұрын

I would like to ask, how is topology and geometry different ? Edit: A Google search basically said “Geometry concerns the local properties of shape such as curvature, while topology involves large-scale properties such as genus.

@User-jr7vf 2 жыл бұрын

@Natsu tsuu That is not quite true. Geometry says a square and a triangle are different in some respects, while Topology says they are equivalent in other respects. There is no conflict.

@Naverb 2 жыл бұрын

@@goldplatealuminum1102 topology is is concerned with things invariant under purely topological notions (continuity, homeomorphisms, homotopy, isotopy, etc) while geometry is generally concerned with metric structures. Many metric structures are topologically equivalent but geometrically distinct. Stokes' theorem does not depend on the choice of a metric tensor but does require smoothness (or at least C^1) and is thus considered part of differential topology.

@calibratingform 2 жыл бұрын

@@goldplatealuminum1102 Geometry concerns the "rigid properties" of shapes and spaces (examples: angle, length, area, volume, and curvature). Topology concerns the "flexible properties" of shapes and spaces (examples: dimension of the space, the number of 1d holes, the number of 2d holes, etc.).

@mosti1987 Жыл бұрын

Brilliant opening experiment. Got me hooked right away.

@altus1226 2 жыл бұрын

You voice only comes out of the left channel! Also, consider getting a stereo lapel mic and using beam-forming, this will result in much better audio-quality.

@Dr2quan 2 жыл бұрын

Your video is great! Please consider making more videos.

@kristiancuervo8243 7 ай бұрын

If you want to hear audio from both sides on your computer: turn on the Mono Audio setting in your desktop settings, which then uses equal output for both sides of your headphones/speakers.

@hannibal4567 4 ай бұрын

I am a structural engineer. I only needed to take vector calculus at uni. The general form of stokes theorem wasn’t a part of our course. It is very satisfying to see this introduction with animations. Only one issue. Why the audio is panned to the left?

@trafyknits9222 Жыл бұрын

I'm so glad that there are brilliant people out there who make life easier for the rest of us. If progress was dependent on me, we'd still be wearing loin cloths and using spears to hunt our food.

@pyropulseIXXI 2 жыл бұрын

Your due East line shouldn't be curved, because travelling due east or due west are not paths that fall on a Great Circle; they are generally called Rhumb lines or Loxodromes

@stevehorne5536 2 жыл бұрын

I'm confused why that means "shouldn't be curved". Any "line" on the surface of a sphere will appear curved from most viewpoints. A great circle looks perfectly straight if you're viewing it from directly above, but not from any other perspective. This is because the viewpoint (and view direction vector) is outside the circle, but in the same plane as that circle. To know that the great circle curves, the viewer would need to measure distances to it in a few directions and see that those distances are inconsistent with a straight line. With the "in the same plane" definition of "above", your Rhumb lines will also look perfectly straight - but again, will look curved from any viewpoint (or with any view direction vector) outside the plane of that Rhumb line. In fact if you make the fairly conventional assumption that the center of the sphere is in the same plane as the viewpoint and view direction vector, great circles are the ONLY "lines" that can ever look perfectly straight - Rhumb lines cannot be completely inside that plane, and thus cannot appear perfectly straight. The arrows shown aren't remotely the correct curves, but they also aren't remotely correct distances either - they're described as 1,000km each, the first apparently takes the person from the south pole to a point a little north of the equator, but the distance from the south pole to the equator is approx. 10,000km. In other words it's not meant to be an accurate diagram, only to give the basic idea.

@thomasauriol5805 2 жыл бұрын

Great work, great explanations. You gained a subscriber! Hope to see more ^^ ( With stereo ahah )

@LearnWized 2 ай бұрын

This is so clear, thanks so much!

@NeoAF10 Жыл бұрын

Nice video, thank you for explaining this. One caveat: it is really distracting to only hear your voice on the left channel!

@lowerbound4803 Жыл бұрын

I sincerely appreciate your work. Thank your for the great insight and inspiration!! 😻😻

@AliJoohy 2 жыл бұрын

Great. Keep making such great contents.

@IshaaqNewton 2 жыл бұрын

Bro this was a good content. But can you fix the audio please?

@Celastrous 2 жыл бұрын

How can you make a video with such good animations but the audio is abjectly horrible?

@MessedUpSystem 2 жыл бұрын

YES!!! SOMEONE THAT DOESN'T OMMIT THE WEDGE PRODUCT INSIDE THE INTEGRAL!

@quantumsoul3495 Жыл бұрын

Given canonical orientation, you don't need the wedge right ?

@MessedUpSystem Жыл бұрын

@@quantumsoul3495 I'd argue you kinda do, because it reminds you that the differential form is not commutative. But yes, if you're not planning on changing order of integration and just stick to canonical orientation, than it's not necessary

@quantumsoul3495 Жыл бұрын

@@MessedUpSystem Yes I think it's clearer for instructional video. But when it's integrals, you just pick the canonical orientation en.m.wikipedia.org/wiki/Differential_form#Integration

@TheJara123 2 жыл бұрын

Cool man, please post more videos...amazing attempt...thanks..

@budiardjo6610 5 ай бұрын

is there a book recommendation?

@hoailam7288 2 жыл бұрын

Thank you for tNice tutorials, tNice tutorials was a huge help.

@wWvwvV Жыл бұрын

I'm sure you're fully aware of this now. Nice explanations and nice visualizations, but you have a mono microphone plugged into one ear and you're screaming into that ear because the microphone is bad.

@lindsayli9687 2 жыл бұрын

Nice video but you need a better mic

@garyc9402 8 ай бұрын

There are actually an infinite number of places where you can travel north 1000, east, 1000, and south 1000 miles to end up in the same place.

@DooDooDiaperShitCunt 2 жыл бұрын

This is very helpful! Thank you!!

@pyropulseIXXI 2 жыл бұрын

Cool video; I subbed

@willthecat3861 4 ай бұрын

The animation of the stereographic projection... is... for me... at least... harder to visualize than having the sphere tangent to tangent to Cartesian plane, at the south pole of the sphere. That might be harder to animate?

@dionisiocarmoneto Жыл бұрын

Why it was saved in just left ear? It becomes very tiresome!

@azimuth4850 6 ай бұрын

Nice summary, thank you

@ed.puckett 2 жыл бұрын

Unfortunately, the video has audio in only one channel

@mujtabaalam5907 2 жыл бұрын

0:20 or 1+1/(2kpi) (for k being a positive integer) miles under the north pole. He walks up one mile, walks k times along the north pole, then walks down to where he started 2:!3 what about pooints in the enighborhood of the north pole?

@qilinxue989 2 жыл бұрын

You can perform the projection again using the South Pole as reference. Now you have two maps (known as coordinate charts) that cover the entire globe.

@mujtabaalam5907 2 жыл бұрын

@@qilinxue989 And for a journey from one pole to another, I guess you can make the "jump" at the equator, where both maps map it to the same point, so there's no discontinuity. Very nice.

@qilinxue989 2 жыл бұрын

@@mujtabaalam5907 Basically! Note that the “jump” can happen smoothly everywhere that both charts covers. If f and g are maps that take points from the manifold (sphere) and outputs values in flat space (R2), then you can define the transition function to be f(g^-1(x)) which takes points in R2 and map it to points to R2. This is a smooth function, so it allows you to transition from one map to the other map.

@graf_paper 7 ай бұрын

Oh dang, this was such a good higj level overview. Really appreciated your visual and the cadence of your explanations. Susceibed and excited to see what elese you do with this channel

@lorisdevos3971 2 жыл бұрын

Awesome vidéo !!

@TrenBlack 2 жыл бұрын

nice video, king

@rohitmandal1125 2 жыл бұрын

Are the sample softs there when you open the software or do you have to download them from sowhere

@johnduffy2777 2 жыл бұрын

😂😂😂

@DogpatchActual 2 ай бұрын

A tensor analysis would say there's a missing array item for the right ear, jesus christmas

@bbrother92 Жыл бұрын

Plz reupload with good audio

@sebas42etgtyht 2 жыл бұрын

please what do you mean on taking "high values and low values" ( of the explanation on differential forms, if it is perpendicular or parallel to dy) how do you define high or low, that was the only thing that was not clear to me, thank you for the video!

@aidanmccue4348 2 жыл бұрын

A covector takes vectors as inputs and outputs numbers. A 1-form, such as dy, is a covector field, you have a covector assigned to each point in the space. If I input a vector field to dy, then at each point, the covector gives me the number which is the y component of the vector at that point. So by “high values and low values” he just means greater and lesser real numbers.