Пікірлер
@bananahead-x6r
@bananahead-x6r Күн бұрын
Hi
@imaginaryangle
@imaginaryangle 12 сағат бұрын
Hello!
@postblitz
@postblitz 10 күн бұрын
So the power and root operations actually bend the real line and break it into complex curved lines and spaces. Hurts the mind to think about intuitively.
@azjoker8512
@azjoker8512 Ай бұрын
Isnt it just 0
@imaginaryangle
@imaginaryangle Ай бұрын
If you mean "why aren't there zero cuts needed to cut a cake into zero equal pieces", the reason is that the effect of not cutting the cake is that you have 1 piece, not zero. This arises from treating cuts as discrete actions we can only represent with counting numbers, including zero. There is no such number of cuts that would result in the cake being split into zero identical pieces. It's one way to think in practical terms about why we call the result of division by zero "undefined", and not infinity or something else.
@azjoker8512
@azjoker8512 Ай бұрын
@imaginaryangle oh thanks for the explanation
@jarrellfamily1422
@jarrellfamily1422 Ай бұрын
Erase the cake from existence
@assiddiq7360
@assiddiq7360 Ай бұрын
I was finding this video by typing words like "quadratic" and "cubic" and the actual title are "secret kinks of elementary function"
@imaginaryangle
@imaginaryangle Ай бұрын
The quadratic and the cubic function do feature quite prominently in the video :) I hope you enjoyed it!
@andrer.6127
@andrer.6127 2 ай бұрын
Oh Shit! Ore Numbers
@PsalmJNFano
@PsalmJNFano 2 ай бұрын
Bro made a paradox on accident😂
@Billy-qo7ts
@Billy-qo7ts 2 ай бұрын
AHHHH lets go . video is exactly what i needed right now
@aleksanderwierzbicki7998
@aleksanderwierzbicki7998 2 ай бұрын
Great its my birthday and its cake 😂😊
@imaginaryangle
@imaginaryangle 2 ай бұрын
Happy birthday! 🎂
@aleksanderwierzbicki7998
@aleksanderwierzbicki7998 2 ай бұрын
@ thank you
@donwald3436
@donwald3436 2 ай бұрын
I'm more worried about "complex" numbers, they're not complicated they should be called "duplex" like the two unit townhouses.
@BertLeyson
@BertLeyson 2 ай бұрын
My dumbass at the final question yelling "JUST EAT THE CAKE!"
@Troynjk
@Troynjk 2 ай бұрын
Good stuff man, great job 👍
@imaginaryangle
@imaginaryangle 2 ай бұрын
Thank you!
@drevoksi
@drevoksi 2 ай бұрын
22:23 - What you did is represented negative numbers with arguments of -pi and pi, got two adjacent roots of the equation, rotated them by third of a circle getting a third one and an overlap, and rotated them again, just getting two more overlaps. It makes sense to look at it that way! But to get all the possible outputs for f(x) = x^(1/p) from the very beginning, consider negative values to be of any argument of the form pi + 2pi•k, with the distinct solutions for k є {pi, 3pi, ..., 2pi•(p-1)} and for circular arguments to be from θ є [0, 2pi•p).
@drevoksi
@drevoksi 2 ай бұрын
I feel like instead of representing them with two arguments, it's more meaningful to either just use the principal one, or all of them; but for the visuals it actually makes sense to draw out a circle as you did from -pi to pi, giving two arguments for negative numbers, alright :D
@imaginaryangle
@imaginaryangle 2 ай бұрын
I specifically chose to obtain solutions from a range of inputs that covers an equal phase distance from positive Reals in both directions, and to swipe through that range in order, so (-pi, pi]. The goal was to keep the evolution of results consistent so the bigger story makes visual sense, and gives a satisfying answer to the question my younger self asked :) Thank you for engaging with this story!
@drevoksi
@drevoksi 2 ай бұрын
Note for myself at 22:02 - this only gives imaginary values because with the inputs of the same moduli we only consider arguments ranging from -pi to pi, so the function output for the negative numbers (we assign the arguments of -pi and pi to them) will be -1/3•pi and 1/3•pi respectively. But there is another argument that gives negative numbers corresponding to a different function output - multiples of 3pi, which will give negative numbers of argument pi. The part of the cube root curve is missing because we only represented negative numbers with two arguments of -pi and pi, whereas they could be anything of the form of pi + 2pi•k, where k is an integer. They are periodic for rational powers, but if you consider irrational powers it'd give a different complex number for every value of k. z=(-1)^√2 gives infinite solutions.
@drevoksi
@drevoksi 2 ай бұрын
Just to note for myself, 19:03 - The line that splits is the transformation of the real axis via z = x + if(x), where negative numbers split in two because for odd values of pi, which are in their argument, something like e^(1.1pi•i) and e^(-1.1pi•i) will not match. The circular curves of the same colour contain the transformations of all numbers with the same modulus - distance from the origin, starting from -pi to pi. They intersect with the real number transformation curve at three arguments: -pi, 0 and pi; for even powers the numbers of argument -pi and pi always end up at the same place, so the real transformation curve won't split and circle transformation curves will be enclosed.
@misaeljoe
@misaeljoe 3 ай бұрын
Hello there. Thank you for creating such an informative and engaging video! Congratulations on its success. I plan to incorporate it into my high school Advanced Topics class, which consists mostly of Grade 11 and 12 students who have completed AP Calculus BC. This year, we dedicate a full semester to Complex Numbers, including visualizing functions like f(z). Your video is perfectly suited for my class, and I will definitely use it in my lessons. Additionally, I plan to use Diffit AI to transcribe the video for further reference. However, I intend to utilize GeoGebra instead of Desmos (which you demonstrated) to help my students visually explore conformal mappings, specifically the mapping of points z on the unit circle to the complex plane using f(z)=z^2. Based on your video, I believe the mapping was z=x+(x^2)*i. I attempted to replicate the graph using the following commands in GeoGebra, but my graph differs from yours. I would greatly appreciate your guidance on how to adjust my approach. I've attached my GeoGebra file setup for your reference: www.geogebra.org/calculator/fmdscxat Thank you in advance for your time and insights! Best regards, Misael Fisico, ASIJ Tokyo Japan [email protected]
@aleksandr898
@aleksandr898 3 ай бұрын
You've made really amazing video ! Thanks y lot !
@imaginaryangle
@imaginaryangle 3 ай бұрын
Glad you liked it!
@sahandhemmat5447
@sahandhemmat5447 3 ай бұрын
Beautifully done
@imaginaryangle
@imaginaryangle 3 ай бұрын
Thank you!
@duckymomo7935
@duckymomo7935 3 ай бұрын
O okay I like that generalization because the focus is on a specific case that doesn’t generalize well It’s a useful and easy case but composite numbers get tricky
@imaginaryangle
@imaginaryangle 3 ай бұрын
Thanks! Fractions need to be reduced to lowest terms for this to be true. It's mentioned in the video, albeit not very formally due to the short format.
@MatthewKelley-mq4ce
@MatthewKelley-mq4ce 3 ай бұрын
This overlaps with the 'Rethinking the Real line' video really well
@masteroftheinternetverse1296
@masteroftheinternetverse1296 4 ай бұрын
I had an interesting idea. What would happen if you took Pascal's Triangle and made it 1 face of a square base pyramid, and made the other 3 sides the equivalents of the triangle but for i, -1, and -i? What would happen on the inside?
@imaginaryangle
@imaginaryangle 4 ай бұрын
I don't know, it depends on the rules you come up with for working out the inside; you need to have a generator function for values "behind" the values on the face that agrees with what's given by the corresponding generator function coming in from the opposing face. I would suggest starting by defining a discrete 3D grid each number lives in to make the collection of arguments for the generators straightforward, and then experiment with different rules. A hint about how to come up with extensions is in this video: kzbin.info/www/bejne/p2PHkqSDh5ifaJY
@Despondencymusic
@Despondencymusic 5 ай бұрын
I suppose it's infinite if it's infinitely nothing. 😂
@elfeiin
@elfeiin 5 ай бұрын
this makes no sense. why are you talking about oranges?
@imaginaryangle
@imaginaryangle 5 ай бұрын
I like them more than apples, and they are both countable and squeezable into something that isn't countable.
@bilkishchowdhury8318
@bilkishchowdhury8318 5 ай бұрын
15:05 German Iron Cross
@imaginaryangle
@imaginaryangle 5 ай бұрын
A bit askew, but yes, I noticed that too.
@erawanpencil
@erawanpencil 5 ай бұрын
So why is (the inverse of) temperature equivalent to cyclic imaginary time? Is there an intuitive way to think about that?
@imaginaryangle
@imaginaryangle 5 ай бұрын
I don't know! I wasn't aware of this, but I might do some research.
@bartbroek9695
@bartbroek9695 6 ай бұрын
Hm but then by this logic there's also no interpretation here of dividing by 1/2, but we have defined this still. Clearly something not making sense in this scenario doesn't imply it can't be mathematically sound
@imaginaryangle
@imaginaryangle 6 ай бұрын
The first part focuses on countable operations (cuts) and ignores the possibility of making a non-integer number of actions. The second part focuses on the loss of unit information - a zero of any unit is the same zero, and even if you decide to define that an infinite addition of zero-sized parts creates some non-zero whole, you would not know either the size or the nature (unit) of that whole. That's the essence of "undefined" here. You get a piece of literally any thing of any size. The analogy doesn't really extend further than dividing 1 with a Natural Number, as it's not a complete representation of division, just of that special case.
@ShadeTDW
@ShadeTDW 6 ай бұрын
Something you could look into would be Geometric Algebra, seeing as it allows you to divide vectors, would be cool to see if everything still works out the same. These videos have all been extremely interesting, and I can't wait to see what topic you will cover next. Notifications on for sure!
@imaginaryangle
@imaginaryangle 6 ай бұрын
Thank you for turning notifications on! There's an amazing video by Freya Holmér that digs into the connection between vectors-as-complex-numbers and Geometric Algebra (though it focuses on multiplication), I recommend it! kzbin.info/www/bejne/nqW8mWCKppyNeKssi=_TBtMdBa2hlZTDB8
@ValkyRiver
@ValkyRiver 6 ай бұрын
@@imaginaryangle There is also a video about Geometric Algebra by sudgylacmoe kzbin.info/www/bejne/bGHdkJumeqanepo
@ValkyRiver
@ValkyRiver 6 ай бұрын
@@imaginaryangle There are also many videos about Geometric Algebra by sudgylacmoe
@imaginaryangle
@imaginaryangle 5 ай бұрын
Thanks! I will check it out.
@RonanRox-wk2vl
@RonanRox-wk2vl 6 ай бұрын
Usually you can't divide by zero just because you can't.) It's not undefined.....it is impossible.) Common...... 20/5=4... Right? Means keep subtracting five from twenty till you get to zero and count the amount of subtractions.... But try to subtract zero.... ................ Man......something is wrong...... I can subtract zero.....infinite number of times. On an abstract level. (Like, subtract number zero from number twenty, get twenty....repeat....get twenty again, repeat....and go on forever.) Though, I can't subtract zero amount of things on a concrete level..... Wtf. (Like, there's no way am capable of subtracting zero amount of sticks, from a set of sticks.) Just when I thought I was gonna super smart here.... So, the conclusion. With real, actual things....I can't divide by zero. But with numbers....I, seemingly, can.
@imaginaryangle
@imaginaryangle 6 ай бұрын
Thinking about why exactly it breaks (and it's not the same reason in every scenario) is a rich source of insights. The route I picked focused on the loss of substance, that is, since a zero of anything is the same as a zero of anything else, a whole assembled from zero-sized pieces has undefined substance. More formally, this is about units; if you encounter some scenario where real-world things are being computed, those would come in units (x oranges, meters, or whatever). If that scenario involves a division by zero, the units would become interchangeable and the result would no longer apply to specific real world things.
@Yusuketh443
@Yusuketh443 6 ай бұрын
hi :3 UwU
@MinMax-kc8uj
@MinMax-kc8uj 7 ай бұрын
Goto 3d animation, [[x, Re(x^n), Im(x^n)], x = -10 .. 10], n = 0 .. 2 n is the animation variable
@imaginaryangle
@imaginaryangle 7 ай бұрын
Interpreting positive x as xe^0 and negative x as |x|e^(iπ). So like this? www.desmos.com/3d/xrecksyjj0
@MinMax-kc8uj
@MinMax-kc8uj 6 ай бұрын
@@imaginaryangle it looks flat when I do it in maple. Here is another one. If you are going to factor an e out, you should try it this way. x^n=(-1)^n*(-x)^n=e^(i*n*pi)*(-x)^n [t, Re(e^(i*t*θ)+e^(i*t*(pi-θ)), Im(e^(i*t*θ)+e^(i*t*(pi-θ))] This is the one that I think they use in transmission line theory and I seen it in a differential calculous class that was put on youtube..
@imaginaryangle
@imaginaryangle 6 ай бұрын
Desmos doesn't natively understand Complex Numbers and ops, that was why I used e to convert it into an animated parametric curve built only from trig functions. Thanks for the suggestion!
@MichaelBarry-gz9xl
@MichaelBarry-gz9xl 7 ай бұрын
The Phiangle!
@imaginaryangle
@imaginaryangle 7 ай бұрын
I like it 👌
@guigazalu
@guigazalu 7 ай бұрын
20:50 Finally, imaginary angles!
@imaginaryangle
@imaginaryangle 7 ай бұрын
Had to sneak them in somewhere 😉
@jackskelotojack
@jackskelotojack 7 ай бұрын
I wish I could have seen those last animations on an oscillating 3d graph😭
@imaginaryangle
@imaginaryangle 7 ай бұрын
Which ones, and what do you mean by an oscillating 3d graph in this context?
@ucngominh3354
@ucngominh3354 7 ай бұрын
hi
@douglasstrother6584
@douglasstrother6584 8 ай бұрын
"Complex Variables" by John W. Dettman (published by Dover) is a great read: the first part covers the geometry/topology of the complex plane from a Mathematician's perspective, and the second part covers application of complex analysis to differential equations and integral transformations, etc. from a Physicist's perspective. For practical reasons, a typical Math Methods for Physics course covers the Cauchy-Riemann Conditions, Conformal Mapping, and applications of the Residue Theorem. I've used Smith Charts for years, but learned from Dettman that the "Smith Chart" is an instance of a Möbius Transformation. The Schaum's Outline on "Complex Variables" is a great companion book for more problems/solutions and content.
@andrewporter1868
@andrewporter1868 8 ай бұрын
The real question is Discord serber wen
@imaginaryangle
@imaginaryangle 8 ай бұрын
Reading my mind, I see 😅 Don't have a date yet, but it could happen this summer. I will make an announcement when I know.
@wyboo2019
@wyboo2019 8 ай бұрын
fun convergence to phi fact: in geometric algebra, you can (kind of) divide vectors (most vectors have multiplicative inverses), and by starting with two vectors and following the Fibonacci recurrence relation with vector addition, these two vectors actually do converge to the golden ratio, i.e. multiplying one by the inverse of the other approaches the golden ratio
@23bcx
@23bcx 8 ай бұрын
"divide the cake into 0 identical pieces" ok I eat the cake, give it a few hours for my digestive system to make infinite cuts and you are left with no cake.
@imaginaryangle
@imaginaryangle 8 ай бұрын
After that, the cake can become... anything 😁
@andrewporter1868
@andrewporter1868 8 ай бұрын
Cool stuff, but something I've come across is partial derivatives and whatnot, and the obvious fact that although mapping from complexes to complexes may appear to require 4D plotting, on the contrary, every x + iy for reals x and y defines a plane, but the conjunction of two planes orthogonal to each other with one of their axes collinear suffices to define an infinite Euclidean 3-space just as the conjunction of two sets A*B forms a plane. Letting C denote the complexes, our Euclidean 3-space formed from C*C would be visualized by mapping all X + iy to f(X+iy), and all x + iY to f(x + iY) where X and Y are held constant as x and y vary over time. Wolfram Alpha just visualizes complex plots by showing the 3D plot of the real and imaginary parts separately since at that point, you have only 3 variables. Alternatively, perhaps it might be shown in 3-space two planes parallel to each other, and the path that each point follows according to the rules of the particular function over the complexes, so for example, f(z) = z would, for some finite rectangular neighborhood of input points, just show a rectangular volume; f(z) = z^2 would probably show for real t, |z|^(t+1) e^(i(t+1) arg(z)) as t increases linearly with time which would show some kind of cylindrical solid when Re(z)^2 + Im(z)^2 is less than or equal to 1 with funny transitional stuff in the neighborhood of 1, but a sort of hyperboloid volume outside that; etc. Sorry, I went on a tangent there (pun not intended). Anyways, is there a definition or analog of the derivative for 3-space for the intuitive idea of the plane tangent to a point on a surface?
@imaginaryangle
@imaginaryangle 8 ай бұрын
There's a lot of different ways to add "virtual dimensions" (color, time etc), or compress existing ones, and getting creative with the mappings gets really rewarding :) About your question, there is indeed this analogy with a plane tangent to a surface at a point in 3d space. The last graphic that appears in the video is also implemented in Math3D, there's a link in the description, so you could experiment there to find out how that works. In this case, you have a constant vector following the imaginary component of input mapped to the 3rd dimension (like "1" is mapped to the horizontal axis when doing regular R -> R graphs), so you'd need to combine the derivative with that vector to define the tangent plane. Two vectors and a point uniquely define a plane.
@oreo_smoothie74
@oreo_smoothie74 8 ай бұрын
0:30 "and along the way, learn how to *extend* the concept of derivatives to complex valued function" That was nice
@jedglickstein
@jedglickstein 8 ай бұрын
Your videos are getting better and better. What I like most is your ability to describe familiar concepts (here, the derivative as a ratio of input to output) in unfamiliar ways. It feels like taking the ideas I first learned in high school and slightly tweaking an “abstraction” knob. Fitting, given the beautiful images at the end of this video!
@imaginaryangle
@imaginaryangle 8 ай бұрын
Thank you! The way I thought about things in high school and the questions I had back then inspire a lot of these videos.
@angeldude101
@angeldude101 8 ай бұрын
"Even if everything else somehow made sense, we still could not divide vectors." That's where you're wrong kiddo! 😎 It wouldn't make a huge difference though, since the result is effectively a Complex number anyway (assuming the vectors are 2D), which is distinct from a 2D "vector" in this system despite having the same components.
@imaginaryangle
@imaginaryangle 8 ай бұрын
Not conventionally without extra definitions, and this was not the place to go on a huge tangent 😁 But good catch!
@guigazalu
@guigazalu 7 ай бұрын
Yeah, what is it about not dividing vectors? I am always dividing J₃ vectors, and it is very much possible! They keep exploding, though.
@Jaylooker
@Jaylooker 8 ай бұрын
Polar coordinates of a parameterized space are very similar to a Fourier transform.
@WhattheHectogon
@WhattheHectogon 8 ай бұрын
A truly remarkable video...thank you so much for the education and entertainment!
@imaginaryangle
@imaginaryangle 8 ай бұрын
You're welcome, and I appreciate the kind words!
@realcygnus
@realcygnus 8 ай бұрын
Nifty AF !
@imaginaryangle
@imaginaryangle 8 ай бұрын
😊
@gregwochlik9233
@gregwochlik9233 8 ай бұрын
Absolutely beautiful.
@imaginaryangle
@imaginaryangle 8 ай бұрын
Thank you very much!
@Filup
@Filup 8 ай бұрын
I took a complex analysis course a few years ago, so my recollection of it is somewhat limited now. Videos like this really make me stop to think about about questions I don't even really know how to ask, such as questions that involve exploring non-analytical cases with singularities. I love these videos, and they are a massive breath of fresh air to get my mind off my studies and onto something else, if only for a few minutes.
@imaginaryangle
@imaginaryangle 8 ай бұрын
Thank you! If you're not familiar with Math3D, it allows you to parametrize and draw complex functions, and it understands complex numbers directly, so it's much easier to iterate and experiment with different expressions and edge cases. There's a link in the description with the graph from the video as an example you can start from.
@tiagobmx_st6247
@tiagobmx_st6247 8 ай бұрын
I am just learning the derivative concept, and seeing this with complex numbers is just astounding. Also great explanation, I could understand pretty much everything even though my math level is below this topic, which makes me way more curious. Your content deserves to be at the top
@imaginaryangle
@imaginaryangle 8 ай бұрын
I'm happy to hear that, it was my intention to make it accessible!
@juliavixen176
@juliavixen176 8 ай бұрын
I've just got to say that this is the best explanation of the complex derivative that I have ever seen.
@imaginaryangle
@imaginaryangle 8 ай бұрын
Thank you!
@karolakkolo123
@karolakkolo123 8 ай бұрын
I like your channel, but I really dislike this approach to imaginary numbers, saying that they are just a lateral movement in space. If that's true, we could just as well use 2D vectors. It's the algebra embedded within complex numbers that makes them special, and the deeper intuition is that complex numbers completely classify all translations, rotations, reflections, and scalings of 2D space, just like all real numbers classify translations and scalings of 1D space
@imaginaryangle
@imaginaryangle 8 ай бұрын
They are not only a lateral movement in space, that's one aspect of their properties that comes up in the context of counting and measure. I chose to focus on that context here. I guess your dislike is directed at my use of the word "just" throughout, but that's "just" :) an issue of style to make the topic less intimidating for people that didn't really get a good handle on them in school. Thanks for your feedback!