[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ status ]
2023-11: Warosu is now out of extended maintenance.

# /sci/ - Science & Math

File: 12 KB, 400x267, Thierry_Aubin.jpg [View same] [iqdb] [saucenao] [google]

Previously >>11502149
Actual pictures of mathematicians edition.

Talk maths.

 >> Anonymous Sun Mar 29 12:24:06 2020 No.11512490 File: 14 KB, 904x544, exampleSteps.png [View same] [iqdb] [saucenao] [google] I have n convex sets in the euclidean plane, I take the first and second set, A and B respectively, and rotate and translate them over each other such that their intersection is maximized, now their UNION is a new set,let's call this new set (AB), we take the third set C and rotate and translate it such that it's intersection with set (AB) is maximized, this new set we call (ABC), we take the fourth set and do the same process with the previously generated set (ABC) to get set (ABCD), and we do this process with all n sets, and end up with the set(ABC...n) which within itself contains all sets from A to n, the question is is the set (ABC... n) the same as the set that has minimum area but also contains all sets from a to n? PicRelated is an explicit example-
 >> Anonymous Sun Mar 29 12:28:58 2020 No.11512500 Asked in the last one.How many irreducible reps are there of the complex Lie group/Lie algebra E6?Is it 51840 since that's the dimension of its Weyl group?I can't even seem to find a resource to learn the theory.
 >> Anonymous Sun Mar 29 13:14:09 2020 No.11512572 >>11512500Lie groups/algebras don't have a finite set of irreducible representations. It's odd that you somehow got to asking questions about E6 without working through the representation theory of sl2 first.Irreducible rep'ns of complex (semi)simple lie algebras are classified by the theorem of the highest weight; irreducibles are in bijection with dominant integral weights (of which there are infinitely many, since they're just N-linear combinations of a basis).
 >> Anonymous Sun Mar 29 14:03:38 2020 No.11512670 File: 9 KB, 1374x381, asd.png [View same] [iqdb] [saucenao] [google] >>11512490what an ugly problemthe answer is probably nottry pic related
 >> Anonymous Sun Mar 29 14:15:21 2020 No.11512698 >>11512572I'm not sure what you mean, the compact complex Lie group of E6 doesn't have a finite set of irr reps? It's a finite group, so it has a finite number of conjugacy classes
 >> Anonymous Sun Mar 29 14:29:14 2020 No.11512735 >>11512441What do you guys do when people ask you "what are you going to do with math?" Also how do I combat "muh when are we going to use this?"
 >> Anonymous Sun Mar 29 14:32:56 2020 No.11512745 File: 42 KB, 655x527, mZcvbSavN_ZonZcfCgsVsI8LP9Hlrc_-ENTRhY9ZvkY.jpg [View same] [iqdb] [saucenao] [google] >>11512698>It's a finite group
 >> Anonymous Sun Mar 29 14:33:12 2020 No.11512746 >>11512670your picture is a valid counterexample :( , guess I'll try a new way to make the set with minimum area which contains all other sets from A to n. Got any ideas?
 >> Anonymous Sun Mar 29 14:35:02 2020 No.11512751 >>11512746>is a valid counterexampleAre you sure?
 >> Anonymous Sun Mar 29 14:37:03 2020 No.11512756 >>11512745Am I retarded? Then what is the atlas project doing, what would then the character table of the real split group of E8 be?
 >> Anonymous Sun Mar 29 15:11:50 2020 No.11512856   File: 39 KB, 711x620, 1553121224451.jpg [View same] [iqdb] [saucenao] [google]
 >> Anonymous Sun Mar 29 15:20:55 2020 No.11512882 File: 1.37 MB, 1140x4777, official mg curriculum.png [View same] [iqdb] [saucenao] [google]
 >> Anonymous Sun Mar 29 15:23:07 2020 No.11512891 $\color{#781b86}{3.}\color{#751e8a}{14}\color{#72218d}{15}\color{#702591}{92}\color{#6d2894}{65}\color{#6a2b98}{35}\color{#672e9b}{89}\color{#64329f}{79}\color{#6135a2}{32}\color{#5f38a6}{38}\color{#5c3baa}{46}\color{#593ead}{26}\color{#5642b1}{43}\color{#5345b4}{38}\color{#5048b8}{32}\color{#4e4bbb}{79}\color{#4b4fbf}{50}\color{#4852c3}{28}\color{#4555c6}{84}\color{#4258ca}{19}\color{#3f5bcd}{71}\color{#405fcd}{69}\color{#4364c9}{39}\color{#4668c4}{93}\color{#496dc0}{75}\color{#4c71bc}{10}\color{#4f76b8}{58}\color{#527ab3}{20}\color{#557faf}{97}\color{#5883ab}{49}\color{#5b88a7}{44}\color{#5e8ca2}{59}\color{#61919e}{23}\color{#64959a}{07}\color{#679a96}{81}\color{#6a9e91}{64}\color{#6da38d}{06}\color{#70a789}{28}\color{#73ac85}{62}\color{#76b080}{08}\color{#79b57c}{99}\color{#7bb779}{86}\color{#7eb777}{28}\color{#81b875}{03}\color{#83b872}{48}\color{#86b870}{25}\color{#89b96e}{34}\color{#8bb96c}{21}\color{#8eb96a}{17}\color{#91b967}{06}\color{#93ba65}{79}\color{#96ba63}{82}\color{#99ba61}{14}\color{#9cbb5f}{80}\color{#9ebb5c}{86}\color{#a1bb5a}{51}\color{#a4bc58}{32}\color{#a6bc56}{82}\color{#a9bc54}{30}\color{#acbc51}{66}\color{#aebd4f}{47}\color{#b1bd4d}{09}\color{#b3bc4c}{38}\color{#b6bb4b}{44}\color{#b8ba4a}{60}\color{#bab849}{95}\color{#bcb748}{50}\color{#bfb648}{58}\color{#c1b547}{22}\color{#c3b446}{31}\color{#c5b345}{72}\color{#c8b244}{53}\color{#cab043}{59}\color{#ccaf42}{40}\color{#ceae41}{81}\color{#d1ad40}{28}\color{#d3ac3f}{48}\color{#d5ab3f}{11}\color{#d7a93e}{17}\color{#daa83d}{45}\color{#dca73c}{02}\color{#dea63b}{84}\color{#dea03a}{10}\color{#de9938}{27}\color{#dd9337}{01}\color{#dd8c36}{93}\color{#dd8635}{85}\color{#dd7f33}{21}\color{#dd7932}{10}\color{#dc7231}{55}\color{#dc6c30}{59}\color{#dc652e}{64}\color{#dc5f2d}{46}\color{#dc582c}{22}\color{#db522b}{94}\color{#db4b29}{89}\color{#db4528}{54}\color{#db3e27}{93}\color{#db3825}{03}\color{#da3124}{81}\color{#da2b23}{96 \text{...}}$
 >> Anonymous Sun Mar 29 15:32:18 2020 No.11512910 File: 7 KB, 904x544, nisamucio.png [View same] [iqdb] [saucenao] [google] >>11512751pretty sure. consider the isosceles triangle ABC inscribed in the circle, it is impossible to fully put triangle ABC inside the semicircle with diameter DB. Rotate triangle ABC around the point B so that DB and AB overlap. because C rotated on a circle with a radius larger than the semicircle, now point C lies outside the semicircle. I know this doesn't test all the possibilities but it's pretty obvious
 >> Anonymous Sun Mar 29 15:42:53 2020 No.11512943 >>11512756Why do you read "character table of real split form" and see "representation of compact complex lie group"? They're very, very far from the same thing. Lie groups are manifolds; if they're finite, they're extremely uninteresting. All the usual suspects are infinite, and have infinitely many irreducibles.The real form of a complex lie algebra is a real lie algebra that complexifies to it. "Split" means it corresponds to a noncompact real lie group, whereas the compact real form corresponds to a compact real lie group.You can't build a literal character table for a lie group/algebra, since there are infinitely many irreducibles. What you _can_ do is find a uniform method for computing a character; the Weyl character formula does this in the complex case. Even though there are infinitely many representations of a given lie algebra, the coefficients in the formula to go from representation -> character are exactly the same for all of them, since they depend only on the Weyl group. All you have to do is compute that set of coefficients once, and you can evaluate it anywhere you want.You should think of the "character table of split E8" as something like a monstrously complicated Weyl character formula. With split E8, not all characters can be computed with only one formula, but you can partition your irreducibles up into finitely many blocks so that every representation in each block uses the same set of coefficients. The table tells you what the coefficients in the formulas are.Some of this may be slightly inaccurate, so take a small grain of salt here (I do not specialize in this).
 >> Anonymous Sun Mar 29 15:43:48 2020 No.11512946 >>11512910Are you super duper sure the maximization for A and B doesn't look like this, or like some other shape which still admits inclusion into the disk?
 >> Anonymous Sun Mar 29 15:44:50 2020 No.11512949 File: 3 KB, 563x317, aaaaaaaaaaaaaaaaaa.png [View same] [iqdb] [saucenao] [google] >>11512946Forgot my image.
 >> Anonymous Sun Mar 29 15:58:10 2020 No.11513002 File: 34 KB, 186x146, what_did_i_mean_by_this.png [View same] [iqdb] [saucenao] [google] >>11512745I mean $technically$ up to Morita equivalence the irreps of Clifford groups are classified by their ranks up to Bott periodicity but anon obv wasn't aware of that.
 >> Anonymous Sun Mar 29 16:48:58 2020 No.11513162 >>11512441Oi, piece of shit, it was my time to create the thread.
 >> Anonymous Sun Mar 29 17:03:44 2020 No.11513205 >>11512943Thank you>>11513002Correct
 >> Anonymous Sun Mar 29 17:24:17 2020 No.11513241 File: 763 KB, 2478x1333, 1585477516534.jpg [View same] [iqdb] [saucenao] [google] How much time do you guys spend on the internet? How much time do you guys spend studying?Me: almost all day on the internet, I only get motivated to study when the tests are near, I wanna know if there are more like me here
 >> Anonymous Sun Mar 29 17:30:03 2020 No.11513256 File: 227 KB, 333x499, 90C82zP.png [View same] [iqdb] [saucenao] [google] >>11513241>How much time do you guys spend on the internet?all day>How much time do you guys spend studying?not much, i do the mandatory coursework and study for exams but nothing more
 >> Anonymous Sun Mar 29 17:38:43 2020 No.11513273 File: 211 KB, 602x535, 1581217307925.png [View same] [iqdb] [saucenao] [google] >>11513162I'll wait for you to make them if you quit it with the off-topic images.I mean, nothing wrong with memes, but at least make them topical.>>11513241Basically, I spend most of the day alternating between studying and skimping out on studying by shitposting, reading manga, watching videos on youtube and making and drinking coffee.Sometimes I get tired and just don't study anything for a day or two.
 >> Anonymous Sun Mar 29 17:43:40 2020 No.11513283 File: 1.80 MB, 1202x910, physical maths.png [View same] [iqdb] [saucenao] [google] Threadly reminder to work with physicists.
 >> Anonymous Sun Mar 29 17:46:08 2020 No.11513291 >>11513241I study hard for maybe 2-ish hours earling in the morning. 3 on a good day.The rest of the time I'm online, but I work some of the time I'm online too. It's not as effective, but you can still do math while watching crap on youtube.
 >> Anonymous Sun Mar 29 17:54:49 2020 No.11513325 File: 185 KB, 1217x620, Geogebra4325.png [View same] [iqdb] [saucenao] [google] >>11512946Not super duper sure, but quite sure, don't know what to try anymore, picrelated
 >> Anonymous Sun Mar 29 17:59:59 2020 No.11513337 File: 73 KB, 1024x576, 1585348757429m.jpg [View same] [iqdb] [saucenao] [google] Ayo boys, philosophy chad here. Are there any exercise books you guys could recommend so I can develop my algebra 1 skills? I am aware that's an embarrassing request, but my mathematics illiteracy is holding me back in my philosophy of science studies.
 >> Anonymous Sun Mar 29 18:00:49 2020 No.11513340 >>11513337Gelfand/Shenor Lang's Basic Mathematics if you want to get memed
 >> Anonymous Sun Mar 29 18:04:07 2020 No.11513349 >>11513337Herstein's Topics in Algebra should be good, I used it for my Algebra 1 class
 >> Anonymous Sun Mar 29 18:05:51 2020 No.11513354 File: 3.44 MB, 1034x1639, file.png [View same] [iqdb] [saucenao] [google] >>11513283
 >> Anonymous Sun Mar 29 18:09:07 2020 No.11513362 >>11513325there is only one way to put the halfcircle into a circle (up to rotation)there is only one way to put this triangle into a circle, up to rotationso if you assume "set(AB) can be still covered by the circle C" you have only one degree of freedom, just rotating the triangle aroundso you can just put a parameter $\alpha$ for this angle and compute the minimum of a one-variable functionfinally, compare to the configuration on the left of your picture
 >> Anonymous Sun Mar 29 18:10:20 2020 No.11513366 >>11513337Art of Problem Solving - Pre-Algebra (It's mostly not just pre-algebra but it's very good to read this too)Art of Problem Solving - Introduction to Algebra
 >> Anonymous Sun Mar 29 18:12:29 2020 No.11513375 >>11513273>I'll wait for you to make them if you quit it with the off-topic images.Ok, deal, you can make the one after the next.
 >> Anonymous Sun Mar 29 18:15:13 2020 No.11513380 File: 111 KB, 1024x576, 1585090090135m.jpg [View same] [iqdb] [saucenao] [google] >>11513366>>11513340>>11513349Thanks, fellas. I appreciate it a lot.
 >> Anonymous Sun Mar 29 18:16:15 2020 No.11513383 >>11513349Herstein is algebra II.
 >> Anonymous Sun Mar 29 18:54:05 2020 No.11513452 >>11513362well yeah, but from the right picture it is pretty obvious that whichever way you rotate it it will never be as small as the tiny area on the left, and the max area included in the semicircle will be at most 3/4 of the area of the triangle. So it doesn't work I guess.
 >> Anonymous Sun Mar 29 18:57:05 2020 No.11513460 File: 5 KB, 611x659, oh no no no no.png [View same] [iqdb] [saucenao] [google] >>11513452What if it's like this tho?
 >> Anonymous Sun Mar 29 19:15:57 2020 No.11513502 >>11513460the other post said there's only one way to put an that (inscribed)triangle into a circle, up to rotation. will check tomorrow
 >> Anonymous Sun Mar 29 21:59:41 2020 No.11513860 File: 117 KB, 1314x1578, ratinablanket.png [View same] [iqdb] [saucenao] [google] I like maths, I like cute animals, I like peace and quiet. I like the quarantine.
 >> Anonymous Sun Mar 29 23:25:31 2020 No.11514045 >>11513860>Have 6 girls ready to fuck>Can't because quarantinedI fucking hate it.
 >> Anonymous Sun Mar 29 23:30:41 2020 No.11514057 >>11513273R u me?
 >> Anonymous Sun Mar 29 23:37:27 2020 No.11514067 >>11512441what is tropical geometry about and what is it's motivation?
 >> Anonymous Sun Mar 29 23:39:48 2020 No.11514071 >>11513337elements of modern algebra by linda gilbert is a nice one
 >> Anonymous Sun Mar 29 23:40:48 2020 No.11514072 >>11514067it's like algebraic geometry, but it's hot and sweaty and there's a lot of bugs
 >> Anonymous Sun Mar 29 23:57:25 2020 No.11514112 >>11514072Algebraic Geometry is the european superior continentTropical geometry is the south american peasantBased
 >> Anonymous Mon Mar 30 03:30:30 2020 No.11514442 Greetings, One of the required classes for my masters states:>The student must have a solid understanding of linear algebra, calculus, ordinary differential equations, and Fourier theory...It's an engineering analysis course. What textbooks would you recommend for preparing for this? The most math I've taken so far was calc III & diffeq like... two years ago. I would just audit a bunch of math courses, but the math department at my uni is iffy. Plus the credits would still go towards my total registered amount and I'd have to pay for them.Thanks in advance.t. stupid mechE student
 >> Anonymous Mon Mar 30 04:20:32 2020 No.11514610 File: 313 KB, 1024x393, 1585553870599.png [View same] [iqdb] [saucenao] [google] /mg/pill me on topos
 >> Anonymous Mon Mar 30 04:21:58 2020 No.11514612 >>11514610muh gomboc
 >> Anonymous Mon Mar 30 04:26:04 2020 No.11514616 How do I get better at forming differential equations from a paragraph of information. I was always aces at forming an algebraic formula from word problems but with differential equations the language used just confuses me.Also, with something like>a raindrop evaporates at a rate relative to is surface areaHow tf do I get (dV/dt) = -kV^(2/3) (where k is constant)? I knew it would be dV/dt and I know the volume and surface area of a sphere, but otherwise I have no idea.
 >> Anonymous Mon Mar 30 04:28:52 2020 No.11514619 For my final year of undergraduate, I have to pick either a paper on Math Logic or Hilbert Spaces do get a math major. Which should I do and why?
 >> Anonymous Mon Mar 30 04:32:17 2020 No.11514626 >>11512735What math is it? Just say physics, finance or engineering.
 >> Anonymous Mon Mar 30 06:11:07 2020 No.11514770 >>11513283cringe
 >> Anonymous Mon Mar 30 06:20:07 2020 No.11514776 File: 117 KB, 1280x720, 1582985375950.jpg [View same] [iqdb] [saucenao] [google] >>11514610Go for it if you are interested in categorical logic, pointless topology or the mixture of those two. Just remember that abelian toposes are pretty much the most well-behaved categories you can have.
 >> Anonymous Mon Mar 30 09:06:38 2020 No.11514987 >>11513002You're extremely fucking annoying.
 >> Anonymous Mon Mar 30 09:07:50 2020 No.11514989 >>11513241Studying is for smart people, so I just waste my time some way or other.
 >> Anonymous Mon Mar 30 09:20:11 2020 No.11515014 >>11514045Unvirgins are not welcome here.
 >> Anonymous Mon Mar 30 09:21:43 2020 No.11515019 >>11514045Thanks for the reminder anon. I'm trying to prove Riemann Hypothesis to distract myself from my terrible situation.
 >> Anonymous Mon Mar 30 09:24:22 2020 No.11515025 >>11514619Hilbert spaces are very useful and interesting, and easy. Math logic can be immensely autistic, so if you're not sure you like the topic you should avoid it. Besides that, what do you want to do after your undergrad? If a Master's, on which area?
 >> Anonymous Mon Mar 30 09:58:41 2020 No.11515075 >>11515025I've done a discrete math/math logic precursor course to the 300 level math logic course I'm considering which I really enjoyed, but can't see the use.Im considering doing a masters in nuclear physics, quantum physics (I'm doing a double math/physic major) or math masters of some kind... Idk just where ever life takes me. I don't know much about Hilbert spaces, cant they be quite useful for quantum physics?
 >> Anonymous Mon Mar 30 10:01:31 2020 No.11515080 >>11515075>I don't know much about Hilbert spaces, cant they be quite useful for quantum physics?Kek, obvious bait.
 >> Anonymous Mon Mar 30 10:52:55 2020 No.11515146 >>11514442You can probably just sit in on the lectures without registering anything, no?Anyway, I recommend MIT OpenCourseWare 18.06SC Linear Algebra. The lecture videos are by Gilbert Strang and they're very good. Should be all you'd need.I'm sure the most Fourier theory you'll need is to read a tiny bit about fourier series and fourier transforms, and the basic properties of each. Spend a day on each one.
 >> Anonymous Mon Mar 30 10:57:27 2020 No.11515156 >>11514616It's just algebra. Your variable is volume, you want to express surface area in terms of volume. What are the formulas for surface area and volume of a sphere? Can you solve for radius in terms of volume, and then plug the result into your surface area equation?I suppose the coefficients don't matter since it says "rate relative" instead of the exact rate.Now why the negative sign? Cause you want evaporation, i.e. decreasing volume.
 >> Anonymous Mon Mar 30 10:58:39 2020 No.11515160 >>11515075Hilbert spaces are quite literally the foundation of all quantum physics. Do that.
 >> Anonymous Mon Mar 30 11:01:15 2020 No.11515166 >>11515146Don't "just spend a day on each one", anon. Spend as much as you may need.
 >> Anonymous Mon Mar 30 11:07:08 2020 No.11515173 >>11515166Of course. I just meant he doesn't have to go deep into the theory of fourier series convergence, sampling theorems, poisson summation stuff, etc. All he needs is definitely "this is the definition, this is the inversion formula, this is what it does to derivatives, shifts, scaling, and products, hey look you can use it to solve the heat equation"that's it
 >> Anonymous Mon Mar 30 13:13:16 2020 No.11515486 unrelated to math really, but I am an UG about to graduate in a semester, and at my school I can take some first year grad classes for credit. I work at a catholic school, and my principal knows im doing a graduate class, but I have reminded her multiple times that I am an UG. She seems to forget and advertises me as a graduate student in mathematics at our local university(to make me seem like a well qualified tutor for the kids) to other faculty and parents. I literally just don't feel like sending an email again to remind her cause it seems nitpicky. If I'm not lying about my academic credentials, but my boss is, can I get in trouble?
 >> Anonymous Mon Mar 30 13:35:53 2020 No.11515547 >>11515486You're much more likely to fuck up your situation by ceaselessly trying to correct your boss than you are by somebody finding out you're secretly not quite a grad student. It's quite unlikely anyone is ever going to know anyway; not even the most bored of helicopter moms are going to start calling around your department doing background checks on the tutor provided by their son's school.
 >> Anonymous Mon Mar 30 14:46:39 2020 No.11515723 Why are Eigenvectors and Eigenvalues important and why should I give a fuck about learning them?
 >> Anonymous Mon Mar 30 14:53:00 2020 No.11515741 >>11515723many reasonsone of them is they let you decompose matrix into a nice form called jordan form
 >> Anonymous Mon Mar 30 15:09:00 2020 No.11515787 >>11515547alright, thank you lad that makes sense.
 >> Anonymous Mon Mar 30 15:11:28 2020 No.11515792 >>11515723They permit a method for calculating an nth power matrix easily
 >> Anonymous Mon Mar 30 15:51:29 2020 No.11515898 >>11514067Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build with these new operations. These equations define piecewise-linear geometric objects called tropical varieties. We explore these tropical varieties in two and three dimensions, building up discrete tools for studying them and determining their geometric properties. We then discuss the relationship between tropical geometry and algebraic geometry, which considers shapes defined by usual polynomial equations.https://arxiv.org/pdf/1908.07012.pdfA lot optimization,computation or math problems can be defined as Max or Min problem
 >> Anonymous Mon Mar 30 16:14:01 2020 No.11515970 >>11515723the most immediate answer:eigenvalues and eigenvectors solve the following two problems. given a linear transformation written as a matrix, how do we determine what does it do geometrically? given a linear transformation described by the geometry, how do we write it in matrix? long answer:just keep doing math and you will see that they appear fucking everywhere
 >> Anonymous Mon Mar 30 17:24:02 2020 No.11516188 >>11515723https://m.youtube.com/watch?v=8FThe matrix of a linear transformation with a basis of eigenvectors is structurally revealing
 >> Anonymous Mon Mar 30 17:28:16 2020 No.11516201 >>11515146cool, thanks
 >> Anonymous Mon Mar 30 17:51:18 2020 No.11516263 >>11516188It seems you goofed off some of the video ID in the URL.
 >> Anonymous Mon Mar 30 17:56:39 2020 No.11516279
 >> Anonymous Mon Mar 30 18:38:41 2020 No.11516410 >>11510404Could you explain a bit more where this identity comes from please?
 >> Anonymous Mon Mar 30 19:55:25 2020 No.11516556 File: 144 KB, 308x308, 1493515849631.png [View same] [iqdb] [saucenao] [google] >>11516410Just expand the polynomial.
 >> Anonymous Mon Mar 30 19:58:16 2020 No.11516558 >>11516556i asked where it came from, not why is it true
 >> Anonymous Mon Mar 30 20:05:56 2020 No.11516573 File: 93 KB, 900x899, 1585530260539.jpg [View same] [iqdb] [saucenao] [google] >>11513337I'm back again. Can one of you poindexters explain to me why -a + -a = -aYet-a × -a = aWhy does multiplying two negatives get a positive?Who invented this algebra shit anyway.
 >> Anonymous Mon Mar 30 20:10:09 2020 No.11516583 >>11516573I miss middle school math.
 >> Anonymous Mon Mar 30 20:16:59 2020 No.11516594 >>11516583I worked it out. I'm retarded.
 >> Anonymous Mon Mar 30 20:32:06 2020 No.11516622 >>11514610Nonetheless one should learn the language of topos
 >> Anonymous Mon Mar 30 20:47:38 2020 No.11516663 >>11516410You know, lad. The norm. Numberino times conjugaterino.$\overline{ \omega } = \omega ^2$.
 >> Anonymous Mon Mar 30 20:49:41 2020 No.11516671 >>11516663yes but that expression on the left is a multiplication of three terms, while when i think of norm i think of two terms
 >> Anonymous Mon Mar 30 20:52:17 2020 No.11516676 >>11516671I also don't know where the first term comes from.Second two are literally the norm, tho, since $\omega ^4 = \omega \times \omega^3 = \omega$.Presumably just compute the norm normally and notice that stuff cancels out if you multiply by (a+b+c).
 >> Anonymous Mon Mar 30 20:54:28 2020 No.11516681 >>11516676Well, but that doesn't really tell me where it comes from other than a clever identity that happened to be helpful here - I want to know if there is a more systematic way of handling that type of question. And in fact, the a+b+c term is pretty significant, since it's what gives us the "0" on the left hand side of the equation to give us the result
 >> Anonymous Mon Mar 30 21:22:37 2020 No.11516744 Is there a neat and tidy definition of category which doesn't appeal to objects?
 >> Anonymous Mon Mar 30 22:13:40 2020 No.11516851 >>11516744You can do it all with just the arrows. You replace an object $C$ with a "0-arrow" $c$ such that, whenever defined, the composites $f\circ c, c\circ g$ are merely $f$ and $g$, respectively. Not a big surprise that this $c$ will turn out to be the identity of $C$.
 >> Anonymous Mon Mar 30 22:14:42 2020 No.11516853 >>11516851Oops, imagine [(/)math] instead of \$.
 >> Anonymous Mon Mar 30 22:24:57 2020 No.11516875 >>11516851Yah, but that just tells me how to remove the objects from a given category. It doesn't give me axioms which guarantee I have a category (in the usual sense) from just the arrows.
 >> Anonymous Mon Mar 30 22:49:41 2020 No.11516936 >>11513283Thanks
 >> Anonymous Mon Mar 30 23:25:12 2020 No.11517047 File: 284 KB, 662x483, 1585103637525.jpg [View same] [iqdb] [saucenao] [google] Can you guys aolve IMO problems?Can you guys solve Putnam Problems?I'm an average-IQ person, so I'm always insecure about whether or not I can train hard enough in order to solve them one day.
 >> Anonymous Tue Mar 31 05:39:16 2020 No.11517621 File: 195 KB, 264x503, 17H9Cyc.png [View same] [iqdb] [saucenao] [google] >>11517047my scores at the putnam have varied between 40 and 80not sure if that qualifies as "being able to solve them"
 >> Anonymous Tue Mar 31 06:08:03 2020 No.11517665 File: 755 KB, 2460x1364, Bildschirmfoto 2020-03-31 um 12.07.13.png [View same] [iqdb] [saucenao] [google] >>11516744
 >> Anonymous Tue Mar 31 07:02:23 2020 No.11517766 >>11517621>I vary between top 5% and top .5% dunno how good I am tho xpkill yourself animenigger
 >> Anonymous Tue Mar 31 07:19:36 2020 No.11517793 >>11515898>tfw can't get past the drawing a tropical curve step"just draw your triangles differently bro lmao"
 >> Anonymous Tue Mar 31 08:28:47 2020 No.11517944 Can someone please explain to me how you actually calculate global and local truncation error of a finite difference method? I'm not asking for an explanation of the terms, I'm asking how to *calculate* global and local truncation error for a specific FD method, as in what is the general procedure.
 >> Anonymous Tue Mar 31 11:29:16 2020 No.11518278 >>11517665That works, thanks.
 >> Anonymous Tue Mar 31 13:13:27 2020 No.11518476 >>11516744partial monoid
 >> Anonymous Tue Mar 31 13:21:22 2020 No.11518498 File: 103 KB, 461x600, Leonhard_Euler (1).jpg [View same] [iqdb] [saucenao] [google] >>11518476>partial monoidThe one defined here?http://math.chapman.edu/~jipsen/structures/doku.php/partial_monoidshttp://math.chapman.edu/~jipsen/structures/doku.php/partial_semigroupsDo the axioms actually guarantee that it's the morphisms of some category?Specifically, can you prove that, if $ab \neq *$ and $ac \neq *$, then $db \neq *$ if and only if $dc \neq *$, which roughly translates to the possibility of tracing back a codomain for $b$ and $c$?
 >> Anonymous Tue Mar 31 13:22:57 2020 No.11518504 File: 917 KB, 1080x1847, Screenshot_20200331-182330_Firefox Preview.jpg [View same] [iqdb] [saucenao] [google] >>11512441I'm an undergrad in math and it worries me that I literally don't understand wtf is being discussed on mathoverflow. Does this mean math isn't for me?
 >> Anonymous Tue Mar 31 13:25:18 2020 No.11518511 >>11518504Why do you expect that you should be able as an undergrad to understand a question so complicated that one of the best mathematicians in the world couldn't figure it out and decided to ask for help?
 >> Anonymous Tue Mar 31 13:32:49 2020 No.11518538 >>11518504Yes, this is basic symplectic geometry. I learned it in the second year of my undergrad.Go read Hofer's book on Symplectic Capacities or something.
 >> Anonymous Tue Mar 31 13:34:28 2020 No.11518543 >>11518498I'm too lazy at the moment to think about it, but I've found this overflow questionhttps://mathoverflow.net/questions/168724/can-a-categorys-partial-monoid-of-arrows-be-completed-to-a-total-monoid
 >> Anonymous Tue Mar 31 14:06:29 2020 No.11518631 >>115128913.14159265358979323846264338327950288419716939937510582097494459230781640628620899862803482534211706798214808651328230664709384460955058223172535940812848111745028410270193852110555964462294895493038196...
 >> Anonymous Tue Mar 31 14:12:56 2020 No.11518646 >>11512441yeah I don't know what 1+1 is guys please help. It's for homework.
 >> Anonymous Tue Mar 31 14:15:53 2020 No.11518656 >>11513241all day on the internet here and only study near exams. If i were to rate possibly 7/10 since the internet was my tool for everything and because I hate that I study before an exam
 >> Anonymous Tue Mar 31 14:23:58 2020 No.11518671 How would you write a polynomial whose variables are a function and it's partial derivatives up to an order using multi-index notation?
 >> Anonymous Tue Mar 31 14:24:36 2020 No.11518673 >>1151244120 years old and want to be proficient at math again. Started on Khan academy to revise on known concepts and to be 100% clear on them but is it a good start to do so?Would like to know what sort of roadmap I should have since I'd like to be able to know more than what I had learnt about maths, potentially university level topics (i know there is a img general for books related), as well as, higher tiered concepts not relatively close to univeristy maths, as a means of a test of understanding. It really is one of my favourite subjects but due to bad life choices and silly mistakes, I have figured that this year onwards is my only chance at redemption.
 >> Anonymous Tue Mar 31 14:29:42 2020 No.11518687 >>11518646it's the most beautiful equation in maths and involves euler's constant. 1 + 1 = e - (e-2) + 1 + i^2
 >> Anonymous Tue Mar 31 14:31:16 2020 No.11518692 File: 415 KB, 1100x1000, __kirisame_marisa_touhou_drawn_by_yomoi_nui__04fb8127b850df3ad7c2b5c62e384713.png [View same] [iqdb] [saucenao] [google] >>11518671Like this $\Sigma _{i, ~ \alpha} a_{i, ~ \alpha} ( D^{ \alpha} f )^i$?
 >> Anonymous Tue Mar 31 14:38:11 2020 No.11518703 File: 647 KB, 910x800, __yakumo_yukari_persona_and_touhou_drawn_by_mazeran__42fa044c97f06b10c6cedb8bf59d4592.png [View same] [iqdb] [saucenao] [google] >>11518692>mfw I see people use \Sigma for summationAlso we perhaps don't want the $i$ index there since then $\sum_\alpha a_\alpha(x)D^\alpha$ ceases to be a linear operator on $f$, whence much of diff top/OA no longer apply. In particular I don't know how one would define the symbol of such an operator.
 >> Anonymous Tue Mar 31 14:38:37 2020 No.11518704 >>11518538>tfw there's people far ahead of you by their second year of undergradBut it's about how much you yourself progress, r-right guys? Haha, I mean, it's crazy to compare myself to this guy haha. S-Surely I don't have to think too much of it.
 >> Anonymous Tue Mar 31 14:57:31 2020 No.11518742 >>11518703That would be nice, but he said that the variables are the function and the derivatives, so we unfortunately probably aren't working with the polynomial ring of differential operators.
 >> Anonymous Tue Mar 31 14:58:49 2020 No.11518745 >>11518742You might be right, but that is definitely weird since not much can be done for those objects.
 >> Anonymous Tue Mar 31 15:00:19 2020 No.11518749 nothing is comfier than waking up at noon with the rest of the day ahead of you to write proofs and explore mathematics.
 >> Anonymous Tue Mar 31 15:36:17 2020 No.11518871 >>11518704he's memeing, many mathematicians won't even know what is symplectic geometry if it doesn't intersect with their research interests
 >> Anonymous Tue Mar 31 16:15:42 2020 No.11518964 https://strawpoll.com/fz4g5wxa/rthe absolute state of this board gentlemen
 >> Anonymous Tue Mar 31 16:21:41 2020 No.11518981 >>11518964>implying that mattersBehold a poll truly capable of gauging this board's quality.https://www.strawpoll.me/19664399
 >> Anonymous Tue Mar 31 16:58:22 2020 No.11519095 why are there so many chimps on this board? every other thread is 86iq garbageis /sci/ not moderated?
 >> Anonymous Tue Mar 31 17:01:04 2020 No.11519100 File: 633 KB, 1600x1281, __nonomura_ryuutarou_and_yakumo_yukari_touhou_drawn_by_koissa__81e4edf30bac3c7e4c38ee6918383f70.jpg [View same] [iqdb] [saucenao] [google] >>11518981>no Kahler nor hyperKahlerWon't be voting
 >> Anonymous Tue Mar 31 17:18:12 2020 No.11519154 >>11519100>no anon, you need to spend the entire week adding in web geometry, systolic geometry, Bieberbach groups and whatever specific object it is I like instead of hoping I can place it in a broad subfield myselfJust vote for complex geometry, symplectic geometry or Riemannian geometry lmao.
 >> Anonymous Tue Mar 31 17:43:23 2020 No.11519245 >>11519100>>11519100You don't even know what a kähler manifold is you pseud
 >> Anonymous Tue Mar 31 17:45:53 2020 No.11519261 >>11518981You forgot hyperbolic geometry, algebraic geometry and arithmetic geometry
 >> Anonymous Tue Mar 31 17:54:49 2020 No.11519298 Why are pure maths people so fixated on one-upping each other in terms of wanting to seem like the smartest person in any given maths conversation? It's like they get off on explaining something in the most abstruse and useless way possible. The worst part is after they've formulated their point in the most abstract and obscure form possible, they'll claim that that's the most natural way to think about it for them, which of course is a lie meant to impress their equally insecure mathematician friends. You can visibly see them cum in the pants when they do this. Why do so many mathematicians do this? Is it because they're insecure about maths being the only facet of their life in which they're able to express competence? It's like jocks trying to out-alpha each other. I know this of course doesn't apply to everyone, but I would argue this is the case for a lot of mathematicians.
 >> Anonymous Tue Mar 31 18:06:23 2020 No.11519340 File: 12 KB, 249x239, 1584870688825.jpg [View same] [iqdb] [saucenao] [google] I am taking Trigonometry and this week we are discussing Lissajous figures. I have to write a 500-word summary along with graphs, and for the research, I have to find two interesting facts about them. Apart from searching online and finding the usual answers (which I still have to source), I figured I would come to /sci/ and see if there are any unique perspectives in regards to Lissajous that are not online. I looked through the sticky and couldn’t find anything related.
 >> Anonymous Tue Mar 31 18:06:40 2020 No.11519342 >>11519298I'm pretty sure it's a general human trait, much independent of the subject.
 >> Anonymous Tue Mar 31 18:12:40 2020 No.11519364 >>11519340reminds me ofhttps://youtu.be/4gibcRfp4zA
 >> Anonymous Tue Mar 31 18:17:08 2020 No.11519384 >>11519298not all math people are like this, but a lot aresadly I am guilty of doing this too although I taught to stop myself mostly>Is it because they're insecure about maths being the only facet of their life in which they're able to express competence?yes
 >> Anonymous Tue Mar 31 18:17:17 2020 No.11519385 >>11519364That's pretty amazing from what I watched. Thank you, Anon.
 >> Anonymous Tue Mar 31 18:33:05 2020 No.11519445 File: 57 KB, 960x720, CAST system.jpg [View same] [iqdb] [saucenao] [google] When converting complex numbers from rectangular to polar form, do you need to change the angle only when the form is not contained in the first quadrant?
 >> Anonymous Tue Mar 31 18:36:40 2020 No.11519462 >>11519445>form>change angle?c=|c|exp(i*arg(c))where I'm sure there's a nice formula for arg, involving arctan or whatnot
 >> Anonymous Tue Mar 31 18:41:40 2020 No.11519480 >>11519462What I mean is, say I have the polar form of:r = -5theta = -45-5<-45 degreesDo I leave it as that, or do I do 180 + (-45) = 135 and rewrite it as-5>135,because it is contained originally in the third quadrant.
 >> Anonymous Tue Mar 31 18:49:13 2020 No.11519501 >>11519480is r the radius?just take a positive radius and add 360 to the angle in case it's not in the range [0, 360)
 >> Anonymous Tue Mar 31 19:29:09 2020 No.11519610 >>11513380If you care about results over prestige, use Schaums, and Dummies books are surprisingly good too. I personally after being out of high school for years wanted quick and dirty results for algebra used this book: Practical Algebra: A Self-Teaching Guide, Second Edition 2nd Edition by Peter H. Selby (Author)And it was fucking awesome. Low brow books, books for "idiots" are great learning sources because they ironically DONT spoonfeed you generalizations like the "smart people" books do, so YOU have to generalize from the concrete examples and exercises they give you BY YOURSELF. Always amuses me when I think about it but yeah. Have at it. Experiment, have fun, solve problems. >>11518504Set theory is pretentious cancer and you are sensible for being immediately repelled by it. Set theoretic notation literally adds ZERO new/novel information to whatever you are trying to say. It is completely redundant. How do I know this? ZFC is literally just predicate logic with membership "operator", i.e. set theory just forces you to talk about math in terms of predicate logic with a membership operator. That's it. It doesn't help you solve problems, it doesn't give you any extra intuition ABOUT how to solve a problem, it literally is just extra notational weight to add on for the illusion of rigor. If anything it decreases one's intuition and makes solving problems harder because you become more focused on description and making your notation look neat and pretty than actually figuring out how to solve the fucking problem. It's high order faggotry for people who are bad at math but want to sound good at it. All the "great" set theorists were essentially lawyers and logicians- verbally oriented faggots. It's the reason why physicists in the past 70 years have become better mathematicians than most math majors, and why the only good mathematicians coming out of math departments these days are students who study operations research.
 >> Anonymous Tue Mar 31 19:35:01 2020 No.11519622 File: 55 KB, 712x800, 1578292871440.jpg [View same] [iqdb] [saucenao] [google] I made an argument that proves mathematically the existence of a God.>Proposition I: Mathematics is the structure of the universeThis is true because mathematics is essentially the language in which physics amd chemistry use to explain the processes of the universe>Proposition II: All mathematics stems from theorems, which must be proven either valid or invalidThis is, again, an intrinsic aspect of mathematics itself>Proposition III: All proofs must have beginnings, those beginnings are the axioms, which can't be proven, just accepted as trueSo, essentially, all math stems from axioms, it didn't come out of nowhere, all math came from a set of axioms which gave birth to several theorems and so onProof for the existence of a God:From proposition I we can assume that mathematics is everything in the universe, if mathematics is everything then math was also the beginning, but from proposition III we know that all math begins with a set of axioms, but axioms are just absolute truths, therefore the beginning of the universe is an absolute truth, therefore the beginning of the universe can't be something like proposition III, therefore the beginning must be something that is absolute, a being that can't be from the universe itself, since the universe is just a case of proposition II, therefore there is a being, a god, who always existed and created everything, an axiom who started everything.
 >> Anonymous Tue Mar 31 19:36:03 2020 No.11519625 >>11519610>Self-Teaching>Set theory is pretentious cancerlol
 >> Anonymous Tue Mar 31 19:37:31 2020 No.11519633 >>11519622Ah yes, a rewording of the watchmaker argument>not science or math
 >> Anonymous Tue Mar 31 19:37:41 2020 No.11519634 >>11519622>therefore the beginning of the universe can't be something like proposition IIII meant proposition II
 >> Anonymous Tue Mar 31 20:25:56 2020 No.11519783 File: 87 KB, 322x302, B5EF74FC-292E-42A4-ABAA-F565ADDF0885.png [View same] [iqdb] [saucenao] [google] >>11512441Can anyone give me a hint on this proof? I am trying to prove that the sum of all the terms of the nth row of Pascal’s triangle is equal to $2^{n}$. I wrote a proof using the binomial theorem and considering 2 as $(1+1)^{n}$, but I get the feeling that there is probably a good way to prove it using induction and I wanted to practice that, but I am not able to figure it out.
 >> Anonymous Tue Mar 31 20:28:54 2020 No.11519791 File: 139 KB, 462x444, __fujiwara_no_mokou_touhou_drawn_by_shangguan_feiying__900a07ac968440ae9fb0c700e567ddfb.jpg [View same] [iqdb] [saucenao] [google] >>11519783>dude how many subsets does a set with n elements haveLiterally that simple.>inb4 how do I count subsetsConsider functions $S \rightarrow \{ 0, 1 \}$ or whatever.
 >> Anonymous Tue Mar 31 22:02:50 2020 No.11520045 >>11519783Induction is a kind of aids way to do this (either the binomial theorem or the direct combinatorial argument is much better) but if you really wanted to you'd use pascal's identity:[eqn]\sum_{k=0}^{n+1}{n+1\choose k} = 1 + (\sum_{k=1}^{n}{n \choose k}+{n \choose k-1})+1[/eqn]
 >> Anonymous Tue Mar 31 22:06:12 2020 No.11520053 >>11519625That's it? Wow great comeback.
 >> Anonymous Tue Mar 31 22:24:05 2020 No.11520092   >>11519783First try to prove:$\binom{n+1}{k} =(1 +\frac{k}{n+1-k})\binom{n}{k}$
 >> Anonymous Tue Mar 31 22:33:37 2020 No.11520108 >>11519783First prove that[eqn]\binom{n+1}{k}=(1+\frac{k}{n+1-k})\binom{n}{k}[/eqn]
 >> Anonymous Wed Apr 1 02:22:43 2020 No.11520649 >>11519622axioms are strings of symbol that a computing machine parses to output theorems. they are not "true", just accepted by some machine. yes, mathematics and its axioms are structures of the universe existing in thought or symbol, but it is not physics itself, we are just matching up symbols with observations. if you take two objects and stack them, they are not "adding." you are describing them additively. for a thought experiment, you could pour one glass of water into another, and you could either say youve added the volumes or that 1+1=1, where two solo cups return to one when mixed. a physical system is describable in any way, as long as our mind can perceive a connection between a description and the system
 >> A͞n̕onymous Wed Apr 1 03:07:57 2020 No.11520877 File: 8 KB, 721x169, limexp.png [View same] [iqdb] [saucenao] [google] Hey guys, how's it going? What did my professor mean by this and what does this tell us about disease spreading?
 >> An͟onymo҉͟us͟ Wed Apr 1 03:10:26 2020 No.11520893 File: 20 KB, 205x246, 1515668151539.jpg [View same] [iqdb] [saucenao] [google] I know this is a difficult time but can we please keep /mg/ and /sqt/ math related! Thanks.The virus is nothing to worry about!
 >> Anon͡y̢mo̴̧us Wed Apr 1 03:15:00 2020 No.11520927 File: 132 KB, 1050x902, gigachad2.jpg [View same] [iqdb] [saucenao] [google] >>11520900No.
 >> Anonymous Wed Apr 1 04:42:46 2020 No.11521287 >>11516573The negative of a number is such that you get 0 when you add it. -x is defined byx + -x = 0What is -(-x) then? It would be the number such that-x + -(-x) = 0but we already know that -x + x = 0, so therefore -(-x) = x.
 >> Anonymous Wed Apr 1 04:44:32 2020 No.11521294 >>11515075>I don't know much about Hilbert spaces, cant they be quite useful for quantum physics?funny anon
 >> Anonymous Wed Apr 1 04:48:34 2020 No.11521307 >>11517047I don't solve problems. I don't care. Why? Because I'm not a mathematician.
 >> Anonymous Wed Apr 1 04:50:35 2020 No.11521314   M always comes before Dits 18 / 2(2+2)8/ 2(4)8 / 81
 >> Anonymous Wed Apr 1 04:50:52 2020 No.11521315 >>11518704Almost no one knows symplectic geometry. That said there are definitely people far ahead of you so don't get too relaxed.
 >> Anonymous Wed Apr 1 04:54:52 2020 No.11521329 >>11519298All people are like this. You're singling out math for whatever reason.>It's like jocks trying to out-alpha each otherYes exactly. It seems you know the answer already.
 >> Anonymous Wed Apr 1 04:55:55 2020 No.11521335 >>11520053>That's it? Wow great comeback.lol
 >> Anonymous Wed Apr 1 04:59:26 2020 No.11521352 >>11521287isn't this circular?
 >> Anonymous Wed Apr 1 05:01:28 2020 No.11521353 >>11513337>philosophy chadLel just switch to math. It has more actual results about transcendental ideals than philosophy and you will discover that philosophers suck dick at careful arguments.
 >> Anonymous Wed Apr 1 05:05:04 2020 No.11521361 >>11521352No. Think about it. How would you define a negative of a number? It's the number you have to add to get 0. Then it's clear why the negative of a negative is a positive, because what you have to add to the negative to get 0 is just the positive.
 >> Anonymous Wed Apr 1 05:09:40 2020 No.11521381 >>11521361couldn't you just say if x + -x = 0 then multiply by -1-x + -(-x) = 0 so-(-x) = x
 >> Anonymous Wed Apr 1 05:14:32 2020 No.11521402 >>11513337You should learn CT instead, it's philosophy with cute symbols!
 >> Anonymous Wed Apr 1 05:18:41 2020 No.11521412 >>11521381That works too if you use -1 * x = -x. You can prove this using the definition I gave with the distributive property of addition x + -1 * x = (1 + -1) x = 0 x = 0 so -1 * x = -x.
 >> Anonymous Wed Apr 1 05:43:08 2020 No.11521500 >>11521412very cool!
 >> Anonymous Wed Apr 1 06:00:12 2020 No.11521546 >>11521352take natural numbers with addition (which we take for granted) and multiplication defined as repeated addition. this naive arithmetic satisfies some properties such as the distributive law. now you make this into integers by introducing additive inverses. then you make this into rationals by adding multiplicative inverses. but each time you add new numbers, you need to say how does the addition and multiplication work for them. you can define -7 + 2 =: 100 for all I care. BUT there's always only ONE way to do this so that you stay consistent with the rules of the naive arithmetics that you started with.
 >> Anonymous Wed Apr 1 06:23:33 2020 No.11521596 >>11519622>This is true because mathematics is essentially the language in which physics amd chemistry use to explain the processes of the universeThere is no chemical or physical law that is known to be true. In fact historically every single physics theory turned out to be false (see e.g. Newton's laws, various models of atoms, etc.). There simply is no evidence for this claim.>This is, again, an intrinsic aspect of mathematics itselfFalse. In fact, this is provably false. See CH as an example.>So, essentially, all math stems from axioms, it didn't come out of nowhere, all math came from a set of axioms which gave birth to several theorems and so onTrue.So 2/3 of your propositions are either false or without evidence...
 >> Ań́o̴̴n͘͝ymo̡u̷s̶͢ Wed Apr 1 06:27:53 2020 No.11521609 e=mc2 + 2 - 3 = COOOOF COOF COOOF COOOF!!!
 >> Anonymous Wed Apr 1 06:43:21 2020 No.11521639 >>11521596>So 2/3 of your propositions are either false or without evidence...That's how it goes with religions.
 >> A̶nơnym͡ous͞ Wed Apr 1 06:45:03 2020 No.11521647 >>11521639>That's how it goes with religions.Or with nearly anything else, like science.
 >> A͡n͟on͞ym̸ous Wed Apr 1 06:54:18 2020 No.11521670 What are the most autistic fields of maths? I already know about categories, sheaves, topoï, etc... I want something as autistic as that if possible.
 >> Anonymous Wed Apr 1 06:58:56 2020 No.11521691 >>11521670How about the topopluralogy which is the study of the plural of "topos"?
 >> Anonymous Wed Apr 1 08:35:24 2020 No.11521907 >>11521670set theory/formal logic is as autistic as it getsthe autism value of heavily abstract categorical shit like topoi isn't bad, but it's offset by the pretentiousness.logic is pure distilled autism without anything to dilute it
 >> A̕͢҉n̡͡on̶̕ym͞oùs͠ Wed Apr 1 08:37:25 2020 No.11521912 >>11521670model theory
 >> A̵n͏o͜ny҉҉m͏͞oú̴s͠ Wed Apr 1 08:38:27 2020 No.11521914 >>11520893you don't seem so well anon. are you sure you don't want to take the day off ?
 >> A͞͡ņ͡o̷ņ͟ymo̸u̵͞s Wed Apr 1 09:05:12 2020 No.11521991 how are you coping with the virus guys
 >> Anonymous Wed Apr 1 09:12:07 2020 No.11522003 >>11521991Have we found out already how it's contracted?If I were to write a simulation, I guess it's just sticking and writing in threads with infected guys
 >> Anonymous Wed Apr 1 09:33:42 2020 No.11522063 >>11521907model theory is just algebraic geometry with extra steps tho
 >> Anonymous Wed Apr 1 09:58:11 2020 No.11522126 Is there a way to prove the formula $\int_0^t x^n= \frac{t^{n+1}}{n+1}$ in general without appealing to the FTOC or Bernoulli numbers? Specifically using Riemann/Darboux integration.I've tried it and eventually reached the point where one gets [eqn]\lim_{m\to\infty} \frac{t^{n+1}}{m^{n+1}}\sum^m_{i=1}i^n[/eqn]Evaluating for small $n$ gives the expected answer using the known formulas for sums of powers, but is there a more clever way?
 >> Anony̶̛͞m̷͘͟͜ous̴͘͢ Wed Apr 1 10:28:54 2020 No.11522216 >>11522126You can do an induction, but for that you would need a product rule, I think, which of course involves the Fundamental theorem of calculus...
 >> Anonymous Wed Apr 1 10:51:26 2020 No.11522280 Oh dear. /mg/ appears to be flying close to the sun today.
 >> Anonymous Wed Apr 1 10:51:36 2020 No.11522282
 >> Anonymous Wed Apr 1 10:51:36 2020 No.11522283   >>>/pol/251391231/pol/ has a huge cure thread, from what I've seen they have a script to prevent infection.
 >> Anonymous Wed Apr 1 10:51:50 2020 No.11522284 >>11521315I don't care anymore, I just want to surrender.
 >> Anonymous Wed Apr 1 10:56:26 2020 No.11522304   File: 229 KB, 687x768, 1578705591436.png [View same] [iqdb] [saucenao] [google] >>1152224815 minutes have now passed since this clean post, noting observations.
 >> Anonymous Wed Apr 1 10:56:28 2020 No.11522305   Infected fucking shits please stay 6ft away from me.
 >> Anonymou͢s̶ Wed Apr 1 10:56:37 2020 No.11522306 >>11522126Have you tried using different approximations of the area, i.e. trapezoidal?Ultimately, you just need to figure out how to make shit cancel out.
 >> An͜onymou҉s Wed Apr 1 10:59:27 2020 No.11522319 >>11521670>most autisticAnything with "derived" in the name.
 >> Anonymous Wed Apr 1 10:59:58 2020 No.11522322 >>11512441>that picrelis it that guy from "blues brothers"
 >> Anonymous Wed Apr 1 11:28:31 2020 No.11522433   I wonder if there's a factor where you can only transmit it if you don't show symptoms.Maybe people with the quarantine symbol are sick, but can't get others sick
 >> A̵͞no̵ń͞y͝͝moư͘s̀ Wed Apr 1 11:28:37 2020 No.11522434 >>11522319Can you provide an example please?
 >> An̶on҉y͘m̢o͘͝us Wed Apr 1 11:40:22 2020 No.11522474 >>11522434Derived differential geometry.
 >> Anonymous Wed Apr 1 11:53:05 2020 No.11522520 >>11522126You don't need to know anything about Bernoulli numbers here; every term with a Bernoulli number in front of it has degree less than n+1 and is just going to die in the limit anyway. All you need to prove is that $\sum_{i=1}^mi^n = \frac{m^{n+1}}{n+1}+(lower degree stuff)$and this you prove this inductively by expanding out $(m+1)^{n+1} = \sum_{i=1}^m(i+1)^{n+1}-\sum_{i=1}^mi^{n+1}$
 >> A҉n̡o͏n͘y͡m͘o̧͜u͏s̀ Wed Apr 1 11:54:01 2020 No.11522525 >>11522474jesus christ, is there any reason to do differential geometry like that besides autism ? I mean, does this acomplish anything, does it lead to interesting results which would be hard or impossible to prove in less abstract setting ?
 >> Anonymous Wed Apr 1 11:59:21 2020 No.11522541 >>11522525Dude replacing 200 pages of math with 1100 pages of commutative diagrams is the Right Way To Think About It™ who cares if it accomplishes anything new
 >> Ánon̛y̷mo̕̕ù̴̸̡s͠ Wed Apr 1 12:10:19 2020 No.11522577 >>11522525There are usually three reasons to abstract things further:>there are interesting constructions you can do on set of objects which doesn't return an element of your set of objects, but still returns an object that shares many features with it, so you abstract things until your categories close off and your functors become endofunctors>the new object is genuinely simpler to define and intuit than the previous one>genuine autismI'm pretty sure DDG is a case of the last one.But sometimes, cases of the last one become cases of the first one, so you might want to check back on it in a few decades.
 >> A̷n҉òn҉͢y̡m̀oús͟҉ Wed Apr 1 13:00:12 2020 No.11522747 >>11521670Higher Topos Theory
 >> A̕n̶͢o̡̡͞n͜y͏mǫ͟us Wed Apr 1 13:01:31 2020 No.11522758 >>11522541*coof*
 >> Anonymous Wed Apr 1 14:04:09 2020 No.11523006 >>11521670I'd say set theory, logic, model theory just like the other anones said.although my opinion on CT is that it isn't autistic - but just too pretensions for its own good
 >> Anonymous Wed Apr 1 14:45:18 2020 No.11523155 >>11513337We meet againI recommend A-plus notes for Algebra, it covers everything you'd need to know plus moreAlso you said eastern metaphysicians didn't understand that base realtiy is pain, does the Buddha not realize this?
 >> Anò̶n͜͜͝y͏ḿou̶s̨͜ Wed Apr 1 16:05:43 2020 No.11523493 File: 111 KB, 1200x1940, Angle_axis_vector.svg.png [View same] [iqdb] [saucenao] [google] Rotations - logarithm editionhttps://youtu.be/gBMdTSXhYsY
 >> A̡͞͠͡no̸͝͝ǹ͡y̷mous Wed Apr 1 18:11:27 2020 No.11523998 Is there an elegant way to generate list {x, f[x], g[x], f[f[x]], f[g[x]], g[f[x]], g[g[x]], f[f[f[x]]],...,g[g[g[x]]]} in Mathematica?
 >> Anonymous Wed Apr 1 20:40:01 2020 No.11524332 >>11522520True, but you would need to know a priori what that sum looks like
 >> Anonymous Wed Apr 1 21:38:37 2020 No.11524502 File: 143 KB, 1440x1080, 0.jpg [View same] [iqdb] [saucenao] [google] yo nikolaj why doesn't ron maimon ever hang out with us
 >> Anonymous Thu Apr 2 00:41:30 2020 No.11524980 >>11518704If you do a solid course in real analysis (in R^n) and algebra by your junior year/start of senior and get in one or two graduate classes for senior year you are doing just fine. You aren't on your way to starting a harvard Phd, but you can reasonably apply for phds or masters at state schools.
 >> Anonymous Thu Apr 2 00:44:33 2020 No.11524985 >>11520649>axioms are strings of symbol that a computing machine parses to output theoremsNo. This just one formalization to reason about them.Every predicate is true or false, unless you don't believe in excluded middle. Any predicate which you can accept as a starting point for deduction is an axiom.
 >> Anonymous Thu Apr 2 00:56:39 2020 No.11525013 >>11520877IDK how to do math on chan.integral of f over rectangular region is describedby nested sums of i and j. The base of a piece has area 1/n^2 and a height of f(i/n, j/n).Plug into exp. Exp(a + b) = (exp a)(exp b).So sums become products. Apply an exp definition to get the right form.
 >> Án̴ón̛y̶m̸̀o̸͘us̶ Thu Apr 2 00:59:44 2020 No.11525020 >>11525013Press the tex button on the top left of the reply box
 >> Anonymous Thu Apr 2 01:02:15 2020 No.11525025 >>11518703I fucked you're Touhou
 >> Anonymous Thu Apr 2 01:04:28 2020 No.11525031 >>11525020thanks
 >> Ano͢n͟ymoù͟s Thu Apr 2 03:17:58 2020 No.11525243 >>11519340Yes.Look up the book by VI Arnold "Mathematical Methods of Classical Mechanics". He has a great chapter on lissajous figures!
 >> Anonymous Thu Apr 2 04:19:52 2020 No.11525329 >>11512441Is there any prime number $p$ larger than 3 so that $p^p+2$ is also a prime number? I got stuck on this problem.
 >> Anonymous Thu Apr 2 04:26:27 2020 No.11525340 >>11525329No. Use Fermat.
 >> Anonymous Thu Apr 2 04:26:34 2020 No.11525341 File: 116 KB, 1280x720, njwdesu.jpg [View same] [iqdb] [saucenao] [google] Was watching a NJW video recently and he said the Fundamental Theorem of Arithmetic doesn't work for big numbers since we can't write down there prime factorizations. In fact it seems to me he's claiming most basic number theoretic properties break down on really big numbers. Is this true or is he just being a crackpot?
 >> Anonymous Thu Apr 2 04:31:35 2020 No.11525348 >>11525340Brainfart. Forget.
 >> Anonymous Thu Apr 2 04:35:28 2020 No.11525354 File: 175 KB, 736x1186, 1585743674239.jpg [View same] [iqdb] [saucenao] [google] I'm learning topology and I don't understand one thing.Let $V$ be a normed space for simplicity, and let $C$ be some set in $V$. For some continuous linear functional $f: V \to \mathbb{R}$, define$\mu = \inf_{x \in C} f(x)$.Now, this means that there is a sequence of $\{x_n\}$ in $C$ such that $f(x_n)$ converges to $\mu$... but in what topology? Is this predetermined? Do we fix the topology at some stage? I'm lost about this.
 >> Anonymous Thu Apr 2 04:39:48 2020 No.11525358 >>11525354If there is no mention of a topology on $\mathbb{R}$, then it is the usual one. Note that the convergence is happening in that space.
 >> Anonymous Thu Apr 2 04:44:23 2020 No.11525366 >>11525358Right, but also $x_n$ are converging to some point in the space $V$, is that not correct? I was curious about that convergence.
 >> Anonymous Thu Apr 2 04:49:59 2020 No.11525380 >>11525366Judging by your post, there is no reason to assume that. The image of that sequence converges, but that doesn't imply anything on the original one. A stupid example: $a_n=n$ but $f(a_n)=1$ for all $n\in\mathbb{N}$.
 >> Anonymous Thu Apr 2 04:51:25 2020 No.11525381 >>11525366No, not necessarily.
 >> Anonymous Thu Apr 2 04:56:10 2020 No.11525387 >>11525380>>11525381Okay, thanks. To expand: say that the set $D = \{ y \in V : f(y) = \mu \}$ is non-empty. Can I conclude that $\{x_n\}$ converges to some $y \in D$ if $f(x_n)$ converges to $\mu$?
 >> Anonymous Thu Apr 2 04:57:18 2020 No.11525391 >>11525387No. Take the zero function.
 >> Anonymous Thu Apr 2 05:01:57 2020 No.11525395 >>11525391I just meant some non-pathological example, although I'm not quite sure what that would be. Say that the closure of $C$ intersects $D$ at only one point, do we get convergence to that point?
 >> Anonymous Thu Apr 2 05:39:56 2020 No.11525431 >>11525395>Say that the closure of CC intersects DD at only one point, do we get convergence to that point?I think this is true. you can deduce that distance between x_n and D goes to zero in any case.
 >> Anonymous Thu Apr 2 06:08:39 2020 No.11525478 Does anyone know anything about the regularity of the obvious function$sort: \mathbb{R}^d \longrightarrow\mathbb{R}^d.$Is it differentiable?
 >> Anonymous Thu Apr 2 06:15:57 2020 No.11525489 >>11525478Assuming you mean the function that takes in a sequence (x_1, x_2, x_3, x_4) and returns the sequence in nondecreasing order,It's continuous.
 >> Anonymous Thu Apr 2 06:18:58 2020 No.11525496 >>11525478>is it differentiableNo, consider the partial derivative along x at the point (0,0,0,0)right limit of sort(t,0,0,0)/t= (0,0,0,1) but the left limit is (1,0,0,0)
 >> Anonymous Thu Apr 2 06:22:52 2020 No.11525504 >>11525478Adding to it: the total derivative should be something like$D_sort(x) = P_{\sigma(x)}$ where $\sigma(x)$ is the sorting permutation and $P_{sigma(x)}$ is the matrix that performs this permutation (or the inverse idk)
 >> Anonymous Thu Apr 2 06:25:53 2020 No.11525510 >>11525478>>11525504Adding to this, it's differentiable at and only at the points away from the closed set {(x_1, x_2, x_3, x_4): for some i!=j, x_i=x_j}. The derivative depends on which component of this open set you are. It's constant on the components and is a permutation matrix.
 >> Anonymous Thu Apr 2 06:27:56 2020 No.11525512 >>11525341>Is this true or is he just being a crackpot?It is just his view on mathematics.He believes that if it is physically impossible to calculate something then it is meaningless to talk about it.>In fact it seems to me he's claiming most basic number theoretic properties break down on really big numbers. He believes the natural numbers are finite, of course that HAS to break things like prone factorizations...
 >> Anonymous Thu Apr 2 06:31:24 2020 No.11525519 >>11525510neatoI'm trying to explicitly differentiate the Steiner symmetrization as a function that takes a polygon with n points to a polygon with 2n-2 points. It involves sorting the points by their x-components.
 >> Anonymous Thu Apr 2 06:39:17 2020 No.11525531 >>11525354You can rewrite the infimum as inf {f(x) | x in C}, you see that the ONLY topology that matters is the topology on R, since this is just an infimum of a subset of R.You don't really have to consider any properties of V, it doesn't need to have any topology at all, so you can't really expect to get any knowledge on the sequence of preimages.
 >> Anonymous Thu Apr 2 07:06:28 2020 No.11525574 >>11516573-a + a = -a + a-a + - a = 0 -a - a3 * 2 = 0 +2 + 2 + 23*-2 = 0 + -2 + - 2 + - 2-3*-2 = 0 - - 2 - - 2 - - 2
 >> Anonymous Thu Apr 2 09:46:14 2020 No.11525834   File: 27 KB, 418x450, depositphotos_173773006-stock-illustration-vector-ponder-emoticon.jpg [View same] [iqdb] [saucenao] [google] Take a norm-closed subset $X$ of a hilbert space $\mathcal{H}$. We get a set of trace-class operators by defining $\{ xx^* : x \in X \rset$. Is this set norm-closed in the space of trace-class operators?
 >> Anonymous Thu Apr 2 09:47:22 2020 No.11525835 File: 27 KB, 418x450, 1585835174937.jpg [View same] [iqdb] [saucenao] [google] Take a norm-closed subset $X$ of a hilbert space $\mathcal{H}$. We get a set of trace-class operators by defining $\{ xx^* : x \in X \}$. Is this set norm-closed in the space of trace-class operators?
 >> Anonymous Thu Apr 2 12:02:30 2020 No.11526153 File: 717 KB, 865x649, emmpay.png [View same] [iqdb] [saucenao] [google] >>11523998There's various "Nest" functions, but for this one I'd generate all binary strings and then to a small loop.>>11524502I know that he was on 4chan for the truther stuff at one point, but I don't take him for a big memes consumer. Not sure.Last time I've emailed with him was years ago - where does he currently hang out, if at all?On a different note, Todd Trimble is going live now with a talkhttps://youtu.be/gcYMrzQZilM>MIT Categories Seminar LIVE - Todd Trimble: Geometry of regular relational calculus
 >> Anonymous Thu Apr 2 12:17:50 2020 No.11526209 >>11526153>but for this one I'd generate all binary stringsno wait, I'm stupid, what's better is probably, in pseudocode,r = {x}; while(true): r = map(f, r) join map(g, r);and dump the inbetweens
 >> Anonymous Thu Apr 2 13:05:16 2020 No.11526348 >>11525835is "$\{xx^* : x \in X\}$ is subset of trace class operators" an assumption? what do you mean by trace class, because the way I know it the problem doesn't make sense
 >> Anonymous Thu Apr 2 13:27:28 2020 No.11526413 >>11520877anons, I don't think this is correct, unless they mean an approximate.I can get down to the products, and one could approximate exp(x) by 1 +x, but I don't see why the other terms should go away.
 >> Anonymous Thu Apr 2 13:28:42 2020 No.11526415 File: 20 KB, 704x524, exp.png [View same] [iqdb] [saucenao] [google] >>11526413pic related
 >> Anonymous Thu Apr 2 13:29:44 2020 No.11526416 Hi can you reply to this>>11526409with "this", "/thread", "agreed" and so on, thanks.
 >> Anonymous Thu Apr 2 13:30:42 2020 No.11526419
 >> Anonymous Thu Apr 2 13:36:09 2020 No.11526429 >>11526348I mean, the set of projection operators $\{ p_x : p_x(\cdot) = \langle \cdot, x \rangle x, \; x \in X \}$
 >> Anonymous Thu Apr 2 13:47:58 2020 No.11526461 >>11526429>this nigga
 >> Anonymous Thu Apr 2 14:11:52 2020 No.11526521   File: 51 KB, 1149x833, intexp.png [View same] [iqdb] [saucenao] [google] >>11526413>>11526415I find a bunch of formulas like this, mostly because in one dimension it relates to the Dyson formula (there the one dimension is time)https://ncatlab.org/nlab/show/Dyson+formulaI imagine this thing pops up if you deal with field theories and you got some x's to integrate over.Could it be that you're off by one an you get a boundary term via $\int_0^1 F(x) dx = \sum_{i=0}^{n-1} G(i) = \sum_{i=1}^n G(i) + G(0) - G(n)$?
 >> Anonymous Thu Apr 2 14:20:16 2020 No.11526557 File: 51 KB, 1149x833, intexp.png [View same] [iqdb] [saucenao] [google] I find a bunch of formulas in my notes, mostly because it relates to the Dyson formulahttps://ncatlab.org/nlab/show/Dyson+formulaIn that context, it's one dimensional with time, but for field theories in RxR^3 such integrals might pop up. Could is be that you're off by one, leading to a canceling boundary term via $\int_0^1 F(x) dx = \sum_{i=0}^{n-1} G(i) = \sum_{i=1}^n G(i) - (G(n) - G(0))$It's interesting, can you try a simple monomial or rational function and take the limit on wolframalpha or so?
 >> Anonymous Thu Apr 2 14:32:57 2020 No.11526608   >>11526415the form in the question does not have an exponential inside the double product, and it also has a +1
 >> Anonymous Thu Apr 2 14:35:04 2020 No.11526615 >>11526415I can see that the exponential could be approximated by a 1+ x expression, but dont see the equality
 >> Anonymous Thu Apr 2 14:44:34 2020 No.11526646   >>11526209I made following code:RESULT = {{x}}; Table[AppendTo[RESULT, Flatten[{Map[f, RESULT[[-1]]], Map[g, RESULT[[-1]]], Map[h, RESULT[[-1]]]}]], 3];Flatten[RESULT] gives{x, f[x], g[x], h[x], f[f[x]], f[g[x]], f[h[x]], g[f[x]], g[g[x]], g[h[x]], h[f[x]], h[g[x]], h[h[x]], f[f[f[x]]], f[f[g[x]]], f[f[h[x]]], f[g[f[x]]], f[g[g[x]]], f[g[h[x]]], f[h[f[x]]], f[h[g[x]]], f[h[h[x]]], g[f[f[x]]], g[f[g[x]]], g[f[h[x]]], g[g[f[x]]], g[g[g[x]]], g[g[h[x]]], g[h[f[x]]], g[h[g[x]]], g[h[h[x]]], h[f[f[x]]], h[f[g[x]]], h[f[h[x]]], h[g[f[x]]], h[g[g[x]]], h[g[h[x]]], h[h[f[x]]], h[h[g[x]]], h[h[h[x]]]}
 >> Anonymous Thu Apr 2 15:10:57 2020 No.11526737 >>11526557good ideas. I am not familiar with the dyson formula.I'll try a concrete f in wolfram as you suggest.
 >> Anonymous Thu Apr 2 20:48:41 2020 No.11527555 If I’m a pretty bright guy, can I read Lang or Jacobson as my first exposure to algebra? I had to learn basic group theory for Van Kampens theorem but that was on a need to know basis.
 >> Anonymous Thu Apr 2 21:00:26 2020 No.11527588 >>11525341He is mentally ill.
 >> Anonymous Thu Apr 2 21:10:39 2020 No.11527619 File: 65 KB, 1068x601, gigachad.jpg [View same] [iqdb] [saucenao] [google] I can lift one grain of sand.If I can lift n grains of sand, I clearly can lift n+1 grains of sand.Thus, by induction, I can lift an entire beach.
 >> Anonymous Fri Apr 3 03:44:02 2020 No.11528391 File: 14 KB, 161x263, pls no.jpg [View same] [iqdb] [saucenao] [google] >>11527619Peano axioms BTFO!!!!!!!!!!!!
 >> Anonymous Fri Apr 3 03:46:29 2020 No.11528397 >>11525243Very cruel.
 >> Anonymous Fri Apr 3 03:54:32 2020 No.11528409 >>11527619I really like this. This is one of my favorite mathematical paradoxes.
 >> Anonymous Fri Apr 3 06:55:04 2020 No.11528713 File: 47 KB, 800x533, mochizuki.jpg [View same] [iqdb] [saucenao] [google] >Nature: Mathematical proof that rocked number theory will be publishedhttp://archive.is/vdO7J>After an eight-year struggle, embattled Japanese mathematician Shinichi Mochizuki has finally received some validation. His 600-page proof of the abc conjecture, one of the biggest open problems in number theory, has been accepted for publication.>Acceptance of the work in Publications of the Research Institute for Mathematical Sciences (RIMS) — a journal of which Mochizuki is chief editor, published by the institute where he works at Kyoto University — is the latest development in a long and acrimonious controversy over the mathematicians' proof.>Two other RIMS mathematicians, Masaki Kashiwara and Akio Tamagawa, announced in Japanese the publication at a 3 April press conference in Kyoto. The paper “will have a big impact”, said Kashiwara. When asked how Mochizuki reacted to news of the paper's acceptance, Kashiwara said, “I think he was relieved.">At the press conference, Tamagawa said the solution itself had not changed in response to Scholze and Stix's criticism. There are some comments about it that will also be published in the manuscript, but no fundamental change, said Tamagawa.
 >> Anonymous Fri Apr 3 07:51:57 2020 No.11528839 >>11528713how analytics is his theory, really?
 >> Anonymous Fri Apr 3 07:53:21 2020 No.11528851 >>11528839>how analytics is his theory, really?What do you mean?
 >> Anonymous Fri Apr 3 09:00:46 2020 No.11529032 >>11528713>Mochizuki is literally publishing a 600 page book in a journal where he's chief editor
 >> Anonymous Fri Apr 3 10:18:19 2020 No.11529254 >>11513241>interneta lot>studyi study on my own for fun pretty much all day
 >> Anonymous Fri Apr 3 10:59:06 2020 No.11529351 File: 2.69 MB, 2048x2048, Julia_Mandelbrot_Relationship.jpg [View same] [iqdb] [saucenao] [google] Why do multiple Julia fractals look like one giant Mandelbrot fractal?
 >> Anonymous Fri Apr 3 11:03:30 2020 No.11529364 >>11529351Because Mandelbrot did with computers what Julia tried to do by hand.
 >> Anonymous Fri Apr 3 14:13:17 2020 No.11529892 Would someone recommend me book about Calculus written c. 1920? (In English, German or French)
 >> Anonymous Fri Apr 3 14:17:19 2020 No.11529898 >>11529892Why not Rudin?
 >> Anonymous Fri Apr 3 14:19:13 2020 No.11529903 >>11529898>Why not Rudin?Rudin is a meme.
 >> Anonymous Fri Apr 3 14:21:38 2020 No.11529906 >>11529903Only if you're a moron.
 >> Anonymous Fri Apr 3 14:21:46 2020 No.11529907 >>11526429it's closed: if $p_{x_n} \rightarrow p_x$ then $\langle x, x_n \rangle x_n = p_{x_n}(x) \rightarrow p_x(x) = \langle x, x \rangle x$now write $x_n = a_n x + y_n$ where $\langle x, y_n \rangle = 0$ and you'll get that $x_n \rightarrow x$
 >> Anonymous Fri Apr 3 14:23:17 2020 No.11529911 >>11529898Science is a process. I'd like to see how Calculus looked like 100 years ago.
 >> Anonymous Fri Apr 3 14:45:30 2020 No.11529966 >>11529892Calculus Made Easy by Thompson. Published 1910 originally. It's actually better than many modern books. Actually tells you why they call it calculus.
 >> Anonymous Fri Apr 3 14:49:42 2020 No.11529973 >>11529906>Only if you're a moron.If you're a moron or if you're not a moron.*
 >> Anonymous Fri Apr 3 14:56:33 2020 No.11529991 File: 554 KB, 743x757, 1325433879219.png [View same] [iqdb] [saucenao] [google] When I was learning proofs, I recall my professor telling me that$P(n-1) \Rightarrow P(n)$was a better or more robust or more educated way to do induction proofs than$P(n) \Rightarrow P(n+1)$but I don't remember how he justified that. Can anybody provide input, re: how that might be the case?
 >> Anonymous Fri Apr 3 15:00:26 2020 No.11529995 >>11529991There's no difference between the two.
 >> Anonymous Fri Apr 3 15:01:30 2020 No.11529999 >>11529991Your professor was insane. Not uncommon. Many of my professors were as well.
 >> Anonymous Fri Apr 3 15:09:33 2020 No.11530013 File: 30 KB, 500x600, 328dd54ac0a1a575c21345f3034afab2.jpg [View same] [iqdb] [saucenao] [google] >>11529991Usually my natural response would also be that the former is weird, but I happened to write a Wikipedia article a few months ago where I found doing it like this helped me making a point.I found the former makes stating some statements more natural, because you get P(n) as conclusion, but as far as the proof praxis goes, plugging in n-1 to derive at something will usually be more awkward.
 >> Anonymous Fri Apr 3 15:24:52 2020 No.11530047 >>11529991your professor is an autist
 >> OP Fri Apr 3 15:30:08 2020 No.11530069 File: 296 KB, 500x375, wildburger.png [View same] [iqdb] [saucenao] [google] Hey anons, I've started what I hope is a reading-club type thread >>11530059, dedicated to field and galois theory
 >> Anonymous Fri Apr 3 15:38:13 2020 No.11530097 >>11512441Physics friend here learning some set theory. I'm reading Halmos' "Naive Set Theory" and I don't entirely follow something he says:A relation in a set is an equivalence relation if it is reflexive, symmetric, and transitive. ... the largest equivalence relation in $X$ is $X \times X$.No matter how I think about it I don't see how $X \times X$ is an equivalence relation like this. Can anyone offer some understanding?Thanks nerds!
 >> Anonymous Fri Apr 3 15:40:30 2020 No.11530107 >>11530097Anon, a relation on $X$ is literally a subset $R$ of $X \times X$, where we write $aRb \leftrightarrow (a, b) \in R$.Ask this shit in >>>/sci/sqt/
 >> Anonymous Fri Apr 3 15:44:48 2020 No.11530116 >>11530097Kill yourself, brainlet. You will never be smart.
 >> Anonymous Fri Apr 3 15:44:51 2020 No.11530117 >>11530097>I don't see how X×XX×X is an equivalence relation like this.Everything is in relation with everything.
 >> Anonymous Fri Apr 3 15:44:58 2020 No.11530118 >>11530107I understand that, what I don't get is how it's an equivalence relationI wasn't sure about posting this in here compared to /sqt/ but I had a scan through and decided it was fine
 >> Anonymous Fri Apr 3 15:46:23 2020 No.11530124 >>11530118This is literally kindergarten mathematics, moron. Gtfo of this thread.
 >> Anonymous Fri Apr 3 15:49:23 2020 No.11530130 >>11530118>what I don't get is how it's an equivalence relationThe three axioms hold trivially. Literally just check them. I don't understand what there is not to get. Which one of the three axioms are you incapable of verifying?
 >> LMC !!6bFXHDKL67m Fri Apr 3 15:54:28 2020 No.11530152 File: 78 KB, 799x533, 9 (2).jpg [View same] [iqdb] [saucenao] [google] $\color{red}{\heartsuit}$
 >> Anonymous Fri Apr 3 15:56:17 2020 No.11530156 >>11530118It's the relation where everything is in relation to everything. LITERALLY look at the axioms, you don't even need to think, since the conclusion holds trivially.
 >> Anonymous Fri Apr 3 16:01:31 2020 No.11530167 >>11530130I dunno, probably my issue is with relations in general more than this specific example
 >> Anonymous Fri Apr 3 16:01:43 2020 No.11530169 File: 1.87 MB, 1854x2603, __fujiwara_no_mokou_touhou_drawn_by_hisha_kan_moko__b4c6e5fcb1c1d02faefd9dbb88f3f82b (1).jpg [View same] [iqdb] [saucenao] [google] >>11530118>I had a scan through and decided it was finePlease don't depress me like that.
 >> Anonymous Fri Apr 3 16:04:27 2020 No.11530173 >>11530167If your issue is not with the particular question but the subject itself then you shouldn't ask for help with the question.This is seriously trivial and immediate from the definition.Try re-reading the chapter and asking in /sqt/ if you don't understand something.
 >> Anonymous Fri Apr 3 16:14:29 2020 No.11530205 File: 7 KB, 270x187, Cedric Villani.jpg [View same] [iqdb] [saucenao] [google] >>11512441if you consider all the irrational numbers between 0 and 1, and presume that they are regular - in that all the 10 digits appear in their decimal expansion with equal probability, thenWhat's the difference between one irrational number and any other?
 >> Anonymous Fri Apr 3 16:18:13 2020 No.11530222 >>11530205What the fuck is this question?
 >> Anonymous Fri Apr 3 16:18:16 2020 No.11530223 >>11530205I'm pretty certain that not every irrational number is normal. (Take normal number. remove all 0s from decimal expansion.)
 >> Anonymous Fri Apr 3 16:24:09 2020 No.11530239 >>11530223For me, it's the irrational number which goes n 0s, one 1, n+1 zeroes, etc.
 >> Anonymous Fri Apr 3 17:14:35 2020 No.11530394 >>11530205>assume false thing>then ask a gibberish questiongreat job there my lad
 >> Anonymous Sat Apr 4 01:47:46 2020 No.11531392 $2^bump$
 >> Anonymous Sat Apr 4 02:00:58 2020 No.11531418 File: 149 KB, 640x480, 1585361399130.gif [View same] [iqdb] [saucenao] [google] >>11512891woah
 >> Anonymous Sat Apr 4 02:12:02 2020 No.11531443 >>11531392To make $2^{bump}$ write 2^{bump}.
 >> Anonymous Sat Apr 4 04:10:51 2020 No.11531597 File: 18 KB, 311x499, 41YNYb3lc2L._SX309_BO1,204,203,200_.jpg [View same] [iqdb] [saucenao] [google] Has anyone here used this book before? How is one meant to learn the subject without exercises? Should I use a secondary text for exercises?
 >> Anonymous Sat Apr 4 04:14:17 2020 No.11531600 >>11531597Read Ireland&Rosen
 >> Anonymous Sat Apr 4 04:17:39 2020 No.11531607 >>11531600Thanks. In lock down and have nothing but time
 >> Anonymous Sat Apr 4 06:25:43 2020 No.11531805 Let $v_1, \dots v_k$ be vectors in $\mathbb{R}^2$, such that $||v_i|| \leq 1$ for each i, and $\sum_{i=1}^k v_i = 0$. Here $||\cdot||$ denotes the Euclidean norm.Let's define $f(v_1, \dots v_k) := \max_{1\leq j \leq k} ||\sum_{i=1}^j v_i||$.Prove: there exists a constant $C > 0$, such that for any sequence of vectors $v_1, \dots v_k$ as above, there exists a permutation $v_1', \dots v_k'$ such that $f(v_1', \dots v_k') \leq C$.
 >> Anonymous Sat Apr 4 06:27:22 2020 No.11531812 >>11531443$2^{bump}$
 >> Anonymous Sat Apr 4 06:35:39 2020 No.11531821 File: 2.67 MB, 3072x4096, IMG_20200404_122945486_HDR.jpg [View same] [iqdb] [saucenao] [google] >>11531597For se illegal reasons I have this book, and I think I like it, but it's just so thick. Other books on number theory jump more quickly into aspects of general theories (ring theory tools, etc.) while that on is more long wondered, I felt.As to your question, I agree that exercises are important, but actually just trying to understand the proofs in honesty will have you occupied as well.>>11530069(bump)! for your thread
 >> Anonymous Sat Apr 4 09:13:28 2020 No.11532016 >>11531821>Other books on number theory jump more quickly into aspects of general theories (ring theory tools, etc.) while that on is more long wondered, I felt.These things are mostly just indications of the book's age. The first edition of Hardy and Wright was published in 1938; I doubt English students in the 30s would not have been expected to know very much abstract algebra, if any at all, whereas today it's just basic bedrock knowledge so authors are comfortable using it freely.And I doubt Hardy would even have known Bourbaki existed at all yet, and their influence on writing mathematics was decades from really taking hold. Pre-Bourbaki math texts tend to be much more focused on verbal rather than symbolic explanations of things, which can make them feel wordy and rambling to people who grew up with the modern style.
 >> Anonymous Sat Apr 4 09:37:41 2020 No.11532040 >>11531805Set $C = k$.The remainder is trivial and left as an exercise to the reader.Unless $C$ needs to be independent of k, in which case 2 probably works, but the proof sucks.
 >> Anonymous Sat Apr 4 09:41:12 2020 No.11532044 >>11532040>2My bad, 1 works and is optimal.Just run the whole "If the sum until k is negative, set a positive number for k+1, and if it's positive, drop a negative". Trivially the modulo is always smaller than 1, and you can show that you can in fact choose negative/positive elements from the sum being zero.
 >> Anonymous Sat Apr 4 09:41:28 2020 No.11532045 >>11532040yes I wanted C to be independent of k
 >> Anonymous Sat Apr 4 09:42:38 2020 No.11532047 >>11532044>if the sum is negativewe are talking about R^2 vectors dude
 >> Anonymous Sat Apr 4 09:45:40 2020 No.11532054 >>11532047Irrelevant tbqh. If summing any element to the sum until k increases the norm, then the total sum cannot equal zero.
 >> Anonymous Sat Apr 4 09:49:36 2020 No.11532059 FRIENDSI need help for my bachelor thesis pleasehttps://stackoverflow.com/questions/61001535/how-to-compute-co-occurence-probability-from-a-co-occurence-matrixIt's a statistics/probability question first and programming - python question second.
 >> Anonymous Sat Apr 4 09:50:39 2020 No.11532062 >>11532054Take 3 unit vectors each at 120 degree angles with each other. The bound cannot be 1.
 >> Anonymous Sat Apr 4 09:53:43 2020 No.11532068 >>11532062>sum two of them>negative of the third one>norm is trivially oneNice counterexample.
 >> Anonymous Sat Apr 4 09:54:39 2020 No.11532071 >>11532059I gave you an upvote to be at least positive.W.r.t. the question, I'd go for a simple 2 or 3 dimensional example to validate your guess of what's going on and rule out what the formulas can't be.There's also Math and Stats SE btw.I don't know why you tie your question up with programming at all - seems like once you know the statistics of it, the python would be trivial to implement.
 >> Anonymous Sat Apr 4 10:00:14 2020 No.11532083 >>11532054C = 1 doesn't work, try for example $v_1 = v_2 = \dots = v_{10} = (\sqrt{1 - 1/400}, 1/20)$,$v_{11} = v_{12} = \dots = v_{20} = (-\sqrt{1 - 1/400}, 1/20)$,$v_{21} = (0, -1)$.
 >> Anonymous Sat Apr 4 10:00:28 2020 No.11532084 >>11532071thanks for the reply, I'm a brainlet on a university for brainlets.the problem (for me) is, the co-occurence matrix is something completely new to me that I've just copied and pasted from other stackoverflow question. as such, I don't really understand if what I'm doing with it is correct on the basic level.thank you also for the SE maths tip, I will post it there.
 >> Anonymous Sat Apr 4 10:06:43 2020 No.11532100 >>11532083Fair enough.You do know that you could run the counterexample with only five vectors, tho, right?
 >> Anonymous Sat Apr 4 10:07:40 2020 No.11532101 >>11532100What would that look like?
 >> Anonymous Sat Apr 4 10:20:46 2020 No.11532124 File: 625 KB, 1325x2048, The Night of Your Life-032.jpg [View same] [iqdb] [saucenao] [google] I think we can all relate.
 >> Anonymous Sat Apr 4 10:22:18 2020 No.11532127 >>11532124No. In fact it has been quite a long time since I had a written exam.
 >> Anonymous Sat Apr 4 10:23:47 2020 No.11532129 >>11532100[eqn]v_1 = v_2 = (\sqrt{1- 1/25}, 1/5)[/eqn][eqn]v_3=v_4 = (- \sqrt{1-1/25}, 1/5)[/eqn][eqn]v_5 = (0, -1)[/eqn]In other words, the exact same thing with 20 swapped by 5.
 >> Anonymous Sat Apr 4 10:24:59 2020 No.11532132 >>11532129Wait, fuck, might have made a mistake somewhere.
 >> Anonymous Sat Apr 4 10:59:29 2020 No.11532196 >>11532124I wish I could, as then I'd be a girl.
 >> Anonymous Sat Apr 4 13:43:26 2020 No.11532577 >>11532196same