feedyourhead
feedyourhead
  • 1
  • 9 357
Differential Geometry: The Intrinsic Point of View #SoME3
#SoME3
Chapters:
0:00 Intro
2:19 How much does a curve ... curve?
3:56 Gaussian Curvature
7:14 Local Isometries
7:38 The Punchline
8:25 Intrinsic vs. Extrinsic
9:40 How does this apply to us?
By explaining the contents of Gauss' Theorema Egregium, I provide an overview of the "intrinsic point of view" in differential geometry: that is, from the point of view of living on a surface (or a manifold, more generally). I compare this point of view to that of a flatlander. Ultimately, this point of view applies more to our existence than we may think...
มุมมอง: 9 360

วีดีโอ

ความคิดเห็น

  • @SnapstickGamer
    @SnapstickGamer หลายเดือนก่อน

    One of the best somepi vids I’ve seen. Thank you!

  • @jakeaustria5445
    @jakeaustria5445 หลายเดือนก่อน

    Thank You

  • @maths.visualization
    @maths.visualization หลายเดือนก่อน

    Can you share video code?

  • @lowerbound4803
    @lowerbound4803 10 หลายเดือนก่อน

    You sparked the interest🔥🔥🔥🔥🔥🔥 Great work, thanks!

  • @thomasolson7447
    @thomasolson7447 11 หลายเดือนก่อน

    I thought flat was hyperbolic.

  • @se7964
    @se7964 11 หลายเดือนก่อน

    Great video! Now to share a bunch of tangential philosophical asides that have always bothered me: How could flat-landers possibly “meausure” lengths and angles if all their instrumentation was already curved? If you think about this, it makes no sense. If you lived on the surface of a sphere, you wouldn’t be able to construct the tangent plane which is necessary for determining the angle between two adjoining curves. We can measure angles on the surface of the earth by walking in “straight lines” then turning, but these straight lines are characterized through projections and connections of the tangent planes. Which would mean it would be impossible to determine what the “straightest path” was on a curved surface without first imbedding it in some higher dimension, or at least defining a way to construct a tangent surface. Likewise in GR curvature is measured via the acceleration of nearby free-falling bodies. But this acceleration is measured relative to idealized rigid bodies-these rigid bodies form the idea of the “tangent” space which defines the connections which allows for determining curvature. If you truly “lived” in a curved surface, you could never know it, because all your measuring instruments would be warping too. Hence, some notion of euclidean geometry must always be prior to any non-euclidean geometry. That’s my take at least!

  • @johnchessant3012
    @johnchessant3012 11 หลายเดือนก่อน

    great video

  • @tamir8501
    @tamir8501 11 หลายเดือนก่อน

    I would love to see more of all kinds of interesting connections in geometry like this made simple. This was great👌

  • @frankjohnson123
    @frankjohnson123 11 หลายเดือนก่อน

    I was a bit confused by a points towards the end of the video about general relativity. Does the Gaussian curvature of a point in space depend on the matter in its vicinity or is it constant? If the former, when scientists say they're trying to measure the curvature of the universe, are they referring to the underlying curvature of space (which is distinct from the local curvature of a point)?

    • @feedyourhead-mq9fu
      @feedyourhead-mq9fu 11 หลายเดือนก่อน

      At the end of the video, I tried to make some generalizations beyond surfaces to a general manifold. In general relativity, we do not consider a 2-dimensional surface but rather a 4-dimensional manifold (3 for space, 1 for time). The appropriate notion here is Riemannian curvature (which reduces to Gaussian curvature in the 2-D case). The curvature of spacetime is certainly not constant--matter and energy cause it to curve. To your last point, I believe physicists are talking about the large-scale shape of the universe as opposed to the local shape. One way to answer this is to ask what happens to parallel lines as they extend to infinity. If they eventually intersect, that indicates positive curvature. If they diverge, that indicates negative curvature. If they remain equidistant, the universe is "flat." As far as I know, much experiential data points to the universe being flat, though this is still an unsolved problem in physics. Hope that helps!

    • @frankjohnson123
      @frankjohnson123 11 หลายเดือนก่อน

      @@feedyourhead-mq9fu It does, thank you!

  • @jursamaj
    @jursamaj ปีที่แล้ว

    I disagree with that last sentence. The fact that a space has curvature does *not* mean it is imbedded in a higher-dimensional space. The curvature *can* simply be intrinsic to the space.

    • @dekippiesip
      @dekippiesip ปีที่แล้ว

      I have come across your pov several times, always in the context of physics and the curved nature of space time. Intuitively to me, at least having curved space time implies an embedding in a higher dimensional euclidian space. It's hard to imagine a curved space in the absence of such an n dimensional ambient space in which it is embedded. But I'm sure you can mathematically make a notion like that rigorous. In any case, we can say such a space is homeomorphic to an actual similarly dimensional space embedded in some higher dimensional(probably n+1) space.

    • @feedyourhead-mq9fu
      @feedyourhead-mq9fu ปีที่แล้ว

      You're right! Hopefully, my ending was not too confusing, but I think this is what I am saying in my second to last sentence. In general relativity, we do not need to consider any embedding of spacetime. My last sentence is just to suggest the possibility of higher dimensions. But of course, these dimensions have never been found experimentally.

    • @feedyourhead-mq9fu
      @feedyourhead-mq9fu ปีที่แล้ว

      @@dekippiesip Indeed, we are comfortable thinking about curves (or manifolds, more generally) as being embedded in some ambient space. However, because of the intrinsic nature of these objects, the modern tendency is to study manifolds independently of any embedding. For example, when specifying a "Riemannian manifold," one only needs to give a pair (M, g) where M is a smooth manifold (fundamentally, a special kind of topological space) and g is an inner product. We can do this all without specifying an ambient space! How cool. If you would like, however, the Whitney embedding theorem guarantees that one can always embed an n-dimensional manifold (conditions: smooth and real) in a 2n-dimensional space. Just as a random example, a Klein bottle is a 2-D manifold (i.e., a surface) that needs 4 dimensions for an embedding.

    • @dekippiesip
      @dekippiesip ปีที่แล้ว

      @@feedyourhead-mq9fu yeah it's crazy. But it removes a lot of overhead of having to deal with that higher dimensional space. Concepts like derivatives and tangent lines/planes/... must be much more abstract then too though. Because normally you picture them as kissing the curve on 1 point and being out of the manifold for most others.

  • @protocol6
    @protocol6 ปีที่แล้ว

    What happens with an expanding surface? Imagine living on an expanding sphere with a finite speed of light. The path light takes follows a path through the bulk while simultaneously tracing an apparent path along the surface. Things will never appear to be quite where they were when the light was emitted or where they are when it is received.

    • @jursamaj
      @jursamaj ปีที่แล้ว

      Your 3rd sentence assumes there *is* a "bulk", rather than the surface simply being curved and expanding. Nothing requires such a surface to be embedded in a larger space.

    • @protocol6
      @protocol6 ปีที่แล้ว

      @@jursamaj True, but this whole video is about a surface embedded in a higher dimensional space and my question is specifically about expansion due to there being an additional dimension. There's a philosophical debate about whether the bulk "exists" in some sense (presentism vs eternalism) but I've always held the opinion that it's a red herring that boils down to a linguistic dispute over incorrect use of tense. The extra dimension is time in this case and it makes no sense to say the surface at some point in the past or future exists **now**. It existed and will exist, however.

    • @feedyourhead-mq9fu
      @feedyourhead-mq9fu ปีที่แล้ว

      This sounds a lot like what happens when the universe expands...

    • @protocol6
      @protocol6 ปีที่แล้ว

      ​@@feedyourhead-mq9fu That was the point, yes. Simplified a little, of course.

    • @DamianHallbauer
      @DamianHallbauer 11 หลายเดือนก่อน

      @protocol6 @ yea thats where the measurement, redshift, ontics vs dynamics, and conservation problems come in. great video i really needs part of this variational analysis this for some idea i wanted to roughly evaluate. the LLM was confused about it. but now , so we can run simulations from "outside the box" to get this answers.. we can calculate "ontics " of any pov in the box if we feel we need do. Also consider redshift, time dilation, soliton interaction, fast fluctuations, adn sucn.. holographic theory, (maybe) so I think we would not know without making some new simplifying assumptions. Int topology use cases ( it works,m you dont need 3d+1) or complex tensors.. if reversible, combined with thermodynam and entropic consideration, where time becomes unmeasurable and its metric assumed to be invariariant, So Noether suggested somewhere, you can put your growing s2 sphere in a box.. represent mases as a nonlinear wave function bump with a soliton solution, or a circle in a box with time . with an 1D + 1 soliton travelling pulse if you expand and contract the circle to that it conserves ( time invariance) its cyclical. big bang not to s singularity/ bing crunch , to a limit. if seriously interested.. d'hooft, Noether Einstein on www.jstor.org/stable/1968902?read-now=1&seq=14#page_scan_tab_contents then if you follow the rabbit you will get to the soliton quantum gravity scalar field theory dynamics.. dont !

  • @ianmathwiz7
    @ianmathwiz7 ปีที่แล้ว

    0:00 "If you've ever scraped the surface of mathematics" I see what you did there.

  • @MusicEngineeer
    @MusicEngineeer ปีที่แล้ว

    Thank you! Great content!

  • @Anabsurdsuggestion
    @Anabsurdsuggestion ปีที่แล้ว

    Nicely done!

  • @dobariyanaitikdineshbhai6832
    @dobariyanaitikdineshbhai6832 ปีที่แล้ว

    Great video, keep making more such stuff.

  • @AdrianBoyko
    @AdrianBoyko ปีที่แล้ว

    Are you familiar with the book “Turtle Geometry”?

    • @feedyourhead-mq9fu
      @feedyourhead-mq9fu ปีที่แล้ว

      I am not, but it looks neat! Something about combining computers and math?

    • @AdrianBoyko
      @AdrianBoyko ปีที่แล้ว

      @@feedyourhead-mq9fu It computerizes nicely but, computers aside, I always had the (undereducated) feeling that it could be a stepping stone to differential geometry.

  • @samarthtandale9121
    @samarthtandale9121 ปีที่แล้ว

    Great video 😃🔥💯

  • @danthewalsh
    @danthewalsh ปีที่แล้ว

    Very nicely done. I came across this during the voting process and this video is far superior to its rival. It's funny, because my submission for SoME3 also discussed the Theorema Egregium, although only in passing, so it's great to see someone go to the trouble to explain it! See my video here: th-cam.com/video/cVz1LucLYqM/w-d-xo.html

    • @feedyourhead-mq9fu
      @feedyourhead-mq9fu ปีที่แล้ว

      Thanks! Your video is really cool. I like how you balance animations with talking directly. Honestly, certain topics lend themselves better to animation than others. I feel that one would not want to over-animate, especially when talking of very abstract things.

  • @lunaticluna9071
    @lunaticluna9071 ปีที่แล้ว

    this is really well made!! great and understandable explanation, and it's really interesting!