• 0 Posts
  • 32 Comments
Joined 2 years ago
cake
Cake day: June 12th, 2023

help-circle

  • Kogasa@programming.devtoScience Memes@mander.xyzManifolds
    link
    fedilink
    English
    arrow-up
    12
    ·
    edit-2
    3 months ago

    Manifolds and differential forms are foundational concepts of differential topology, and connections are a foundational concept of differential geometry. They are mathematical building blocks used in modern physics, essentially enabling the transfer of multivariable calculus to arbitrary curved surfaces (without relying on an explicit embedding into Euclidean space). I think the joke is that physics students don’t typically learn the details of these building blocks, rather just the relevant results, and get confused when they’re emphasized.

    For a tl;dr about the concepts mentioned:

    • A manifold is a curve, surface, or higher-dimensional object which locally resembles Euclidean space around each point (e.g. the surface of a sphere is a 2D manifold; tiny person standing on a big sphere perceives the area around them to resemble a flat 2D plane).

    • Differential forms are “things that can be integrated over a manifold of the corresponding dimension.” In ordinary calculus of 1 variable, that’s a suitably regular function (e.g. a continuous function), and we view such a function f(x) as a differential form by writing it as “f(x) dx.”

    • A connection is a way of translating local tangent vectors from one point on a manifold to another in a parallel manner, i.e. literally connecting the local geometries of different points on the manifold. The existence of a connection on a manifold enables one to reason consistently about geometric concepts on the whole manifold.









  • Kogasa@programming.devtoMemes@lemmy.mlMath
    link
    fedilink
    arrow-up
    8
    ·
    edit-2
    11 months ago

    Stokes’ theorem. Almost the same thing as the high school one. It generalizes the fundamental theorem of calculus to arbitrary smooth manifolds. In the case that M is the interval [a, x] and ω is the differential 1-form f(t)dt on M, one has dω = f’(t)dt and ∂M is the oriented tuple {+x, -a}. Integrating f(t)dt over a finite set of oriented points is the same as evaluating at each point and summing, with negatively-oriented points getting a negative sign. Then Stokes’ theorem as written says that f(x) - f(a) = integral from a to x of f’(t) dt.


  • Kogasa@programming.devtoScience Memes@mander.xyzKnow who is king
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    11 months ago

    Only if you’re trying to get a numerical point evaluation. For example, one can use Fourier series to represent complex signals in terms of sine waves, and then reproduce the sine waves with hardware to reproduce the original signal. This is how a simple synthesizer produces different kinds of tones.


  • Nullable reference types are (a completely mandatory) bandaid fix in my opinion as a .net dev. You will encounter lots of edge cases where the compiler is unable to determine the nullability of an object, e.g. when using dependency injection to populate a field, or when using other unusual control flows like MediatR. You can suppress the warnings manually at the slight risk of lying to the analyzer. Objects supplied by external library code may or may not be annotated, and they may or may not be annotated correctly. The lack of compile-time null checking is occasionally an issue. But that said, NRT makes nullability a significantly smaller issue in C# than it used to be







  • Kogasa@programming.devtoScience Memes@mander.xyzZero to hero
    link
    fedilink
    English
    arrow-up
    4
    arrow-down
    3
    ·
    edit-2
    1 year ago

    Ehh, among American academic mathematicians, including 0 is the fringe position. It’s not a “debate,” it’s just a different convention. There are numerous ISO standards which would be highly unusual in American academia.

    FWIW I was taught that the inclusion of 0 is a French tradition.