- 5
- 15 777
sparkle twilight
เข้าร่วมเมื่อ 30 มิ.ย. 2017
วีดีโอ
Proving From the Graph -- The Gershgorin Theorem (3B1B Summer of Math Exposition 2) #SoME2
มุมมอง 16K2 ปีที่แล้ว
00:00 Intro 00:20 Definition 03:32 Theorem 04:25 Proof of (2) 07:30 Fun Fact 1 08:26 Fun Fact 2 10:17 Proof of (1) The code of the animation in this video is upload to GitHub: github.com/TwilightSpar/Gershgorin This was made as part of 3Blue1Brown's Summer of Math Exposition: summerofmathexposition.substack.com/p/the-summer-of-math-exposition-is?s=r Music using: 1, Key Sounds Label - 目覚めた朝に 2, ...
G6 final presentation Xception Network
มุมมอง 1112 ปีที่แล้ว
Group project in Summer of 2020. Using Xception Network to identify Covid X-ray image.
Math Biology Spring 2022 presentation 2. "CO2 controls of the respiratory system"
มุมมอง 832 ปีที่แล้ว
For the second presentation, I reported this paper as a review of the ODE chapter we have learned in class. Also, I tried using Manim for the first time! Great tool for visualization. Including: fixed point, stability analysis, LaPlace Transformation.
Nice video!
This was better explained than my course on Mathematical analysis, where the entire course did not provide this high level of explanation and animation. I've been trying to figure out the purpose of these circles, then apply this to linear optimization problems ... thanks to your explanation, I am a step closer to apply these gershgorin circles to sensitivity analysis. Thank you!
Great job but your video needs captions.
Nice. Everything you say of a matrix here can be said of its transpose as well. It'd be an interesting visual, I think, to have two different coloured circles expanding from the 'diagonal points' as epsilon goes from zero to one - one circle expanding as the radius you get from the row of that diagonal entry, one expanding as the radius you get from the column of that diagonal entry.
you should post more videos like this in linear algebra theorems man, very well done and presented, thank you
Just peer reviewed your great work bro, and I also replied you on Bilibili😀
Thanks for sharing this nice Theorem. Some comments on your video: * you are using both j and i to denote the complex unit. Stick to one of them. * many natural questions stay unanswered in the video and should have at least been mentioned: is there one eigenvalue per circle, or can there be a circle with no eigenvalue. Can the eigenvalue be on the boundary? * when you transition eps from 0 to 1 the animation is quite jittery * when a matrix entry is 0, write 0 not 0j (I know, the last two points have to do with Python and Manim, but it is important to learn to use the tool properly, something like this never happened in the videos of 3B1B) * in general, the LaTeX could be improved. Eg set ALL variables in TeX, not in plain text (eg k) * don't be too formal in your written language in videos like this (write "for all" instead of using the symbol; I also recommend this for papers in general) But again, nice video, and I am looking forward to see more! :)
Nice video and animations. Gershgorins theorem was one of my favorite things from my Linear Algebra course. :)
What should I write
Beautyful video, I also like that the proof at the end was not commented and stands for it self. wathched it a couple of times to go by it step by step. watchetime> length video => higher rating of video by the Algo
It's an interesting variation to focus on applications, and leave the proof to the end, instead of the more common other way around. And, of course, we can say more about the eigenvalues than there being k inside a region with k disks: As we increase epsilon, the eigenvalues will never leave "their own" circle.
Still it has more chances of improvement for non mathematical things (like vivid voice or too loud bgm), this topic was so interesting and I can feel the beauty of linear algebras. I haven't thought the complex matrices with such geometric pov. Thank you for the video!
Why did you play 少年たちとの別れ at 9:09 ? I felt like I needed to cry and I didn't know why until I looked up the music. I haven't played Little Busters in six years and apparently it still affects me.
yeah, I'm a big fan of Jun Maeda!
If you/your team animated this, then make your own theme! Y’all are so talented, having your own theme would seriously set you apart from other channels and allow yours to grow
Thanks for sharing this. Another reason to love Linear Algebra.
a caption text would be nice. you're trying for a 'relaxed' voice but for me it became slurred and a bit hard to understand.
The statement of the theorem seems to leave open the possibility that a disc might not have an eigenvalue in it if it intersects with another disc. Does that actually occur or does every disc always have an eigenvalue?
Sorry for the late reply. That's very possible, here is an example: [1 -0.5 // 4 -1], evalues are i, -i; disk 1 does not contain any evalue. Actually, as long as a matrix does not contradict the theorem, almost any shape of GDisk is possible. There is another thm(not hard to prove): the union of the GDisks of all the matrice that simillar to A (like S^-1AS) is the set of spectrum of A (mean the collection of eigenvalues). So for all the matrix that have the same structure (I mean any matrix that have the same Jordan normal form), if you can draw all their GDisk, the intersection are the eigenvalues. I personally think this is more beautiful, but I don't know how to visualize this theorem. Maybe I will make another video in the future.
@@sparkletwilight4524 Thanks.
Ay! cool video ever, probably you are next 3b1b
I'm lost. What is that eigenvalue thing?
If you imagine a 2x2 matrix A as a linear transformation on R^2, then there might be some vector v that just got scaled up or down a bit. Basically, you might be able to solve this equation: Av=kv for some scalar k. If you can solve that, then the v is called the eigenvector and the k is the eigenvalue. For a 3x3 matrix, it's the same thing, but in R^3. It's been a while since I was in linear algebra, but I think whatever dimensions you're in (R^2 or R^3) tells you how many eigenvectors you should expect.
I heard your love for math
That was really neat! I didn't know this theorem before and you explained it really well
Really really nice video!
Thank you for this video. I have no hope of being a mathematician at my age, but the animations make it possible to build an intuition of what is happening in linear algebra, a beautiful subject.
Anybody can learn! You should just give it a shot on your free time. You never know the interesting things you can learn and possibly discover!
I think Linear Algebra may be one of the most important theories in mathematics, because many other theories have functors that rewrite their problems in terms of linear algebra, which makes the problems easier to solve.
Some comments to make the proof more rigorous: 1, in "proof of (2)" part, I did not consider the case that matrix have repeated diagonal entries. If that is the case, when epsilon = 0, we will have 2 identical dots. But the theorem still holds true. 2, in "fun fact 2" part, the diagonal entries cannot be zero. For example [1, 0, 0 ,0] meets the criteria, but it's singular. 3, at 12:09, a more rigorous statement is: For all lambda in the spectrum, there exists an eigenvector x such that lambda in the Disk. x is dependent on lambda.
I quite enjoy your explanation young man my professors name is Joseph George new physics with Joseph George if you could look him up on TH-cam we have a different Theory on dark matter and black holes any thing that you could do to help us along our journey we would appreciate it thank you so much