• davad@lemmy.world
    link
    fedilink
    arrow-up
    41
    ·
    5 天前

    I’ve always thought “imaginary” vs “real” was an unfortunate naming convention.

    I don’t know about other fields, but electrical engineering uses imaginary numbers with AC circuits and changing electrical fields. Since electricity moves as waves, imaginary numbers let you represent what’s coming 90 degrees later in a compact way.

    • feddylemmy@lemmy.world
      link
      fedilink
      arrow-up
      19
      ·
      4 天前

      Carl Friedrich Gauss would agree with you on the naming. He thought the confusion/mistery around imaginary numbers was due to naming. He said +1, -1, and root(-1) should have been called direct, inverse, and lateral units.

    • FishFace@piefed.social
      link
      fedilink
      English
      arrow-up
      22
      ·
      5 天前

      Yeah, I think it causes unnecessary difficulties. I actually think they’re introduced at a time when you could instead teach them as two-dimensional vectors with pointwise addition and a special multiplication and division rule, and prove that (0, 1)×(0, 1) = (-1, 0) using that rule, so that sqrt(-1, 0) = (0, 1).

      Then you can establish a convention that you write (a, b) as a + bi (and i = (0, 1)).

      This is too abstract for younger students, but nowadays I don’t think they learn complex numbers anyway, and I think it would be less spooky for the older students.

      • andros_rex@lemmy.world
        link
        fedilink
        arrow-up
        7
        ·
        4 天前

        Imaginary numbers are typically introduced in a high school “algebra 2” course in my neck of the woods, like junior year unless you are accelerated or held back. I feel like it’s really common for them to not be taught well - the naming is something that occasionally trips up the teachers.

        The teaching of them is something that really interests me - they’re the kind of thing that triggers the “when am I ever going to use this?”/rants about not learning how to do taxes. You can talk about the relevance to electronics, but DC electronics is already hard enough for most to comprehend.

        I like to connect it to rotation. Show them the pattern of powers of i with physical movement - quarter turns.

          • andros_rex@lemmy.world
            link
            fedilink
            arrow-up
            2
            ·
            4 天前

            The big thing is that vectors seem to be the kind of “shoved into the end of the semester if there’s time after testing” from what I’ve seen. Most of the time, even when I work with calculus students they have no idea what a vector is.

            A big thing to is getting them to understand what square roots even really mean. I’ve noticed a lot of students struggle with getting sqrt(x) * sqrt(x) = x, so even just the simple “hey, can you get a negative by taking a number and multiplying by itself?” is often a hurdle cognitively. (A lot of this I suspect has to do with not understanding what multiplication or division really “are” - I usually remediate with the area model)

            • FishFace@piefed.social
              link
              fedilink
              English
              arrow-up
              2
              ·
              4 天前

              Wow, (potentially) omitting vectors seems like a big gap. Obviously it has huge direct practical use, but it’s probably also the first introduction to how you can take a structure and augment it with operations. In that way it’s the first step on the road to abstract mathematics.

      • sangeteria@lemmy.ml
        link
        fedilink
        arrow-up
        5
        ·
        5 天前

        Also tbf, rational numbers are just the lattice modded out by the equivalence relations (a, b) ~ (c, d) iff ad = bc, and the equivalence classes just happen to form an ordered field. If you show an undergrad math/science student this esoteric definition of rationals, the motivation of “2D numbers” makes a lot more sense. Of course, please don’t show this to an elementary or middle schooler, a high schooler might be able to handle this if they’re passionate about math.

        • FishFace@piefed.social
          link
          fedilink
          English
          arrow-up
          4
          ·
          5 天前

          Of course, please don’t show this to an elementary or middle schooler, a high schooler might be able to handle this if they’re passionate about math.

          Lol, I was thinking this as I was reading.

          The neat thing about complex numbers defined this way is that you don’t need to understand quotient spaces because under addition ℂ is already isomorphic to ℝ²!

    • iusemybrain@sh.itjust.works
      link
      fedilink
      English
      arrow-up
      13
      ·
      edit-2
      5 天前

      don’t forgot signal processing. Complex number theory is used a lot when it comes down to Fourier transforms of discrete or continuous functions.

      but yea the naming convention of “imaginary numbers” is pretty bad, we did the same thing for negative numbers (we called it imaginary) when people couldn’t comprehend of a negative quantity.

      negative numbers are defined from a conservative system, basically a gain/loss relationship: if I have 2 apples and I give away 1 to a friend, I have 1 apple left, that loss – that apple I gave to a friend – is the negative quantity. For imaginary numbers, we don’t really have a way to comprehend an imaginary quantity; what does it mean that I have sqrt(-1) apples.

    • a1tsca13@lemmy.world
      link
      fedilink
      arrow-up
      8
      ·
      4 天前

      And in optics, the “real” portion of a material’s refractive index represents scattered light and the “imaginary” part represents absorbed light.

    • BCsven@lemmy.ca
      link
      fedilink
      arrow-up
      6
      ·
      5 天前

      Yep, it is bad naming. I took it in highschool but it didn’t really make sense till I saw how it described electric fields with the wave 90 degrees into the flat page.

    • omega_x3@lemmy.world
      link
      fedilink
      arrow-up
      6
      ·
      5 天前

      Electrical engineers also use them as a simple way of solving differential equations with laplace transforms. Much easier as long as you don’t care about what happens at infinity.

      • Snazz@lemmy.world
        link
        fedilink
        arrow-up
        6
        ·
        5 天前

        Quaternions are useful, but no means necessary or intrinsic to 3d graphics.

        They are useful for describing rotations in 3d space, but the same can be done with a matrix, or even Euler angles. It’s just a more calculations.

        That said, basically all the major game engines use quaternions, so unless you are creating your own 3d renderer, you have to learn at least the basics about them.

        Quaternions really shine at spherical interpolation (Slerp - yes thats the real terminology) between two rotations.

        • blackbelt352@lemmy.world
          link
          fedilink
          arrow-up
          5
          ·
          5 天前

          I’d say Quaternions are necessary purely because they avoid gimbal locking common with 3 axis Euler rotations.

          I know in Blender all other rotation options are really just quaterinions under the hood. But an advantage Euler rotations have over quaternions is continuous rotation. I can set 2 key frames with linear extrapolation and have them just continue along each axis forever. Everything quaternion ideally should be bounded to the 4d unit circle.

    • socsa@piefed.social
      link
      fedilink
      English
      arrow-up
      3
      arrow-down
      1
      ·
      4 天前

      Right, it’s just an orthogonal basis. You can extend this to many dimensions, fields and geometries.

  • NaibofTabr@infosec.pub
    link
    fedilink
    English
    arrow-up
    29
    ·
    edit-2
    5 天前

    Just one more axiom bro and it will all make sense… just one more I swear it’s consistent… BRO I just NEED one more conjecture and it will BE complete… tHe pRincIPles ARe sOLid BrO jUST TruST mE!

  • yesman@lemmy.world
    link
    fedilink
    arrow-up
    26
    ·
    5 天前

    It’s not like the regular numbers behave themselves. Have you ever heard a coherent, non-self referential definition of the number 3?

    • stingpie@lemmy.world
      link
      fedilink
      arrow-up
      1
      ·
      4 天前

      Therapist: Do you think your dives into math are a type of avoidance for difficult problems in real life?

      Me: You know what’s really interesting? I just thought of this, but recipes can be really well represented by a directed, weighted hypergraph. Each hyperedge is an action, the weights are the measurements, and so following the directed hyperedges will result in the meal the recipe is for. It more naturally captures how recipes can be non-linear than regular list based recipes!

  • DigDoug@lemmy.world
    link
    fedilink
    English
    arrow-up
    11
    ·
    4 天前

    Practically everything people say about imaginary numbers you could also say about negative numbers.

    Also… wrong about what?

    • Rugnjr@lemmy.blahaj.zone
      link
      fedilink
      arrow-up
      1
      ·
      4 天前

      Yes, that’s explicitly what that is. Dark matter/energy is just the name given to the phenomenon that measurements suggest there must be something else we can’t detect yet

      • MuteDog@lemmy.world
        link
        fedilink
        arrow-up
        1
        ·
        3 天前

        Or maybe we can detect that nothing is there and the formulas are just wrong. But it’s a lot easier to make up invisible matter than rework the formulas.

      • NateNate60@lemmy.world
        link
        fedilink
        arrow-up
        1
        ·
        5 天前

        -1 / 0 can be defined to be a special new number, ⭐.

        This system of numbers is actually mathematically consistent and has all the properties that a number system should have. But using simple algebra, you can prove that in this new number system, ⭐ = 0. And then you can also prove that all other numbers equal zero.

        This number system is known as the zero ring, and it’s the ring where the only number is 0 and the following operations are defined:

        • 0 + 0 = 0
        • 0 - 0 = 0
        • 0 × 0 = 0
        • 0 ÷ 0 = 0
        • 0^0 = 0

        All other symbols, including 1, 2, and ⭐, are just alternative labels for 0 in this number system. In other words, defining division by zero is essentially the equivalent of reality collapsing in mathematics.

        So yes, you can validly define division by zero. You just get degenerate mathematics if you do. So be careful what you wish for.

      • davad@lemmy.world
        link
        fedilink
        arrow-up
        2
        arrow-down
        1
        ·
        5 天前

        -1/0 = Boom

        But more literally, the answer is undefined.

        Instead of thinking of division as a “proper” operator, think of it as shorthand for “x0 = -1". Since the multiplication operator already defines "x0 => 0” and “-1 != 0”, there literally is no answer by definition. So “undefined”.

        For “0/0”, it’s a little different. Since “x*0 => 0”, literally every number satisfies “0/0”. Since we’re expecting a single number as the answer, we call the answer to this “undefined” too.

  • Rugnjr@lemmy.blahaj.zone
    link
    fedilink
    arrow-up
    1
    ·
    4 天前

    There’s a convincing argument all numbers are imaginary. I’ve never seen a million of something in one place. Let alone a billion, or a trillion. Root 2? Get outta here. e, pi. Basically any useful number already has the property that i has (suspending disbelief until we can get rid of it again somewhere later down the line)

    • glibg10b@lemmy.zip
      link
      fedilink
      arrow-up
      0
      ·
      4 天前

      Pi can be seen in real life (obviously not with full precision, but close enough). Simply make a 1 cm rod on a lathe and measure its circumference, and you’ll see it’s ~3.141 cm

      The same goes for root 2. Simply measure the diagonal of a 1 cm square

      Not sure where you’d see e in real life, though (excluding as the base of an exponential, because any exponential can be trivially rewritten with any base)

      • @glibg10b @Rugnjr I ran this past my (engineer) SO and, after grumbling at being nerd-sniped, he came up with something you could measure to derive e.

        He said a capacitor filled through a resistor for a time unit equal to “RC” gives you a simple formula that solves for e.

        I think I may have got that right? Most of this is gibberish to me, but he gesticulated wildly and held up random electronic things at me so I think he had something.

        • glibg10b@lemmy.zip
          link
          fedilink
          arrow-up
          1
          ·
          3 天前

          I’m a computer engineering student and you remembered correctly, it reaches the final voltage times (1 - 1/e) at the time given by the time constant. Though technically e is the base of an exponential in this case

          Mathematically, the thing about e that causes this is the fact that d/dx (ex) = ex. In simpler terms, if a car is driving in a straight line and its speed increases e (2.71) times per second, then its distance travelled always equals its speed (plus some amount that doesn’t change) (ignoring units)

          The other cool property about e that I know of relates to complex numbers, but I don’t think I can explain that in a way that’s easy to understand