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

/sci/ - Science & Math


View post   

File: 2.65 MB, 1766x4567, 1543817670179.png [View same] [iqdb] [saucenao] [google]
11806627 No.11806627 [Reply] [Original]

Previously: >>11800085

Math foundations edition

>> No.11806635
File: 74 KB, 373x336, paul-seidel_photo-by-tony-rinaldo_373px.jpg [View same] [iqdb] [saucenao] [google]
11806635

>>11806627
I was literally a minute away from making a Seidel edition, gg.

>> No.11806670

>open algebra book
>author writes functions on the right
anybody who thinks [math](x)f[/math] is acceptable notation deserves to fall off a very tall building

>> No.11806704

>>11806670
It makes some sense though: We write from left to right, why should applying a map f to a point x not be written xf ? Why should applying a map f then a map g not be written fg ?

>> No.11806733

>>11806704
the action of the map is best represented as being "on" something. f acts on x. not x is acted on, we aren't women

>> No.11806755

>>11806704
>why should applying a map f to a point x not be written xf ?
You've literally answered yourself just in asking the question. When you talk about it, you say "applying f to x" or "f of x". Nobody says "x into f" or "x with f applied to it". It makes no sense verbally, and it also screws with your "left to right" point because now you have to read everything in your book left-to-right EXCEPT functional expressions where you have to switch to right-to-left briefly.
There's also the consideration that 99% of people except a handful of autistic group theorists write it the proper way. Using dumbass notation that clashes with what every educated person has been taught since 6th grade needs a much better reason than "why not lol"

>> No.11806803
File: 7 KB, 220x165, 220px-Paul_Seidel.jpg [View same] [iqdb] [saucenao] [google]
11806803

>>11806635
lamo his wikipedia picture is so bad they should swap it with the one you posted

>> No.11806811

>>11806670
what book?

>> No.11806817

>>11806733
>we aren't women
Speak for yourself.

>> No.11806823 [DELETED] 
File: 67 KB, 1200x900, __remilia_scarlet_touhou_drawn_by_yoruny__8bd7c9074a33678cfd1dbd7535de7edb.jpg [View same] [iqdb] [saucenao] [google]
11806823

Nikolaj, if you're still here:
You can roll the ball on the projective plane to get a discrete equivalence class.

No idea why I didn't notice this earlier. It doesn't even contradict the isometry thing.

>> No.11806872

>>11806811
Isaacs

>> No.11807046

>>11806627
>tfw advisor needed me to explain how analytic continuation works and remind him that 1/z is not holomorphic

>> No.11807058

>>11807046
Just show him the numberphile video on -1/12

>> No.11807067

>>11807058
It's hopeless, I can't even get him to read the papers we're citing lol
He's happy to argue with me about a proof but also refuses to read it

>> No.11807075
File: 271 KB, 1920x1080, mpv-shot0005.jpg [View same] [iqdb] [saucenao] [google]
11807075

>>11807067
remember that most proffoz are human beans too (except my undergrad diff geo proffy)

>> No.11807090
File: 126 KB, 443x473, 1531887677471.jpg [View same] [iqdb] [saucenao] [google]
11807090

Wtf does " [a quotient ring] is universal among R-algebras R' " mean?

>> No.11807103

>>11806635
How do you pronounce Seidel?

>> No.11807114

>>11807090
They probably mean either initial or free. Old terminology uses universal/couniversal instead of initial/terminal.

>> No.11807160
File: 33 KB, 259x259, 260pxArtistic_view_of_how_the_world_feels_like_with_schizophrenia_journal.pmed.0020146.g001.jpg [View same] [iqdb] [saucenao] [google]
11807160

>>11807114
i think you're right. ty

>> No.11807187

I am learning algebra at khanacademy before I go to precalc.
Are there any good further learning for algebra I should peruse that offers me more training before I start that?
I think I fucked math up BECAUSE I didn't understand algebra enough, which seems to be the foundation of everything math related.

>> No.11807188

>>11807187
Oh. In case it was too long:
I want to build a solid diamond foundation on algebra.
Like, solid as snake.

>> No.11807208

What do you do when you are stressed because you can't solve some problems?

>> No.11807212

>>11807208
if it's due the next day i pop some stims / drink covfefe and soldier on

otherwise i just distract myself with something else and come back to it later (hopefully)

>> No.11807368

>>11807188
You can't have a completely automatic understanding of algebra until after you move onto things that are harder and use it as a tool. The best you can hope for is "pretty good at it" and then move on to the next thing.

>> No.11807377

What would the world be like if someone gave a complete solution to navier-stokes?

>> No.11807386

>>11807377
we would become godlike arbiters of biological fate. there would immediately be a war between genetically superior ubermensch and the current state of humanity. niggers would go extinct from bioweapons selectively targeting race specific protein conformational states. not joking at all

>> No.11807401

>>11807103
Sai-del, I guess, unless it's some weird mountain kraut / mountain pasta pronunciation, but the name seems quite German.

>> No.11807432

>>11806755
>because now you have to read everything in your book left-to-right EXCEPT functional expressions
No. "f of x" is just the result of the Notation, you might as well say "x in f".
I see at least two reasons to prefer this notation:

- Take f:X -> Y, so from left to right you start with an element of X and end up with an element of y. (x)f mimics that exact behavior, you start with an element of X and end up with an element of Y, reading from left to right.

- In function composition you HAVE to read backwards right now. To understand something like f:X -> Y, g:Y -> Z with g o f (x) you need to read backwards, since to understand what happens with an x when applied to f and then what happens with an f(x) when applied to g.
This issue does not happen otherwise (x) f o g is written exactly in the order you want to read it in.

>> No.11807440

>>11807432
f:X->Y
f(x)=y

fuck you

>> No.11807455

>>11807440
While I think that is a reasonable counter point to my first point I still do not think you have actually addressed the argument made.

Yes, those things look alike, but still writing (x) f visually resembles much closer what you actually want to express, namely that an element of X is mapped by f into an element of Y.
This also mimics also Germanic grammar, where the subject of a sentence is first and then it is described what happens with it and I am pretty sure that you want x to be the object and f to be what happens with it.

>> No.11807467

>>11807455
>This also mimics also Germanic grammar, where the subject of a sentence is first and then it is described what happens with it
Not true, at least in German

>> No.11807468

>>11807046
but 1/z is holomorphic

>> No.11807476

>>11807467
>Not true, at least in German
It absolutely is.
x wird durch f auf y abgebildet.
x is mapped by f to y.

Granted my German grammar knowledge is basically zero, so I might be retarded.

>> No.11807483

>>11807476
It's been a few months since I've done anything in German, but the hard and fast rule is that the verb is second, so say you have a prepositional fragment at the start of the sentence, then the verb would come after, and then the subject would follow. Doesn't matter tho, English is the language of science, and thus it should be f of x i.e. f(x)

>> No.11807490

>>11807483
>It's been a few months since I've done anything in German, but the hard and fast rule is that the verb is second, so say you have a prepositional fragment at the start of the sentence, then the verb would come after, and then the subject would follow.
I do not know what these words mean, but the sentence I posted is grammatically correct.

>Doesn't matter tho, English is the language of science
English is a Germanic language.
And I gave you the sentence, x should be the subject, so it comes first.
This works both in English and German and I suspect in Dutch, Danish, Swedish and Norwegian too.

>> No.11807495

>>11806733
are you slow?
Okay, that was an offensive way to start a sentence, but anon is right and actually because of what you say.
It would be more convenient if results of operations on x would be denotes by xf, but it's not for historical reasons

>> No.11807500

>>11807090
something (a class of morphisms) always passes through it, I suppose

>> No.11807501

>>11807468
>1/z is holomorphic
Not at the origin.

>> No.11807507
File: 661 KB, 827x1169, 1590518178042.jpg [View same] [iqdb] [saucenao] [google]
11807507

/gmmg/

>>11806510
Thanks.

>>11806517
Yeah, it would have been quite a coincidence if you were the guy you reminded me of for some reason. Although, I could very well imagine Greg Stevenson posting in these threads.

>>11806540
I write it in my diary desu.

>>11806728
Same. I wanted to do infinity topos stuff just because omg so abstract and omg infinity.

>>11806745
If you don't already know the city where he lives, pls lurk moar.

>>11807090
That's a classic video. The soomepoeg never disappoints.

>>11807188
>Like, solid as snake.
Then you are going to need the snake lemma.

>>11807208
I post here, I watch something, I play something, I drink, I go kick a wall a few times.

>> No.11807518

>>11807495
You're not making any arguments here, you're just stating "nah I'm right lol".

>> No.11807522

>>11807495
>but it's not for historical reasons
Which I think is the best argument against the x f notation.
Even if it might be slightly more intuitive the switch over would require a huge amount of cooperation and effort with limited total gain.

Throwing over conventions usually us only worth it if the gain is obvious to anyone.

>>11807518
Nobody has answered >>11807455 and >>11807432.

>> No.11807523

>>11807490
>I do not know what these words mean, but the sentence I posted is grammatically correct.
So for instance (mind you I've never done math in German), if you were to translate By definition, x is mapped by f to y, you would get "Per Definition wird x von f auf y abgebildet" Per Definition is the first part of the sentence and so it must be followed by the verb (which is always* the second part of the sentence). Notice that this sentence is in das Perfekt.

>English is a Germanic language.
And I gave you the sentence, x should be the subject, so it comes first.
This works both in English and German and I suspect in Dutch, Danish, Swedish and Norwegian too
In English we would say f maps x to y. No idea about the others. In french (the second best language) we say "La fonction f associe x à y" or "x est associé à y par f" which translates to f maps x to y/x is associated to y via f

>> No.11807538

>>11807523
>you would get "Per Definition wird x von f auf y abgebildet"
No.
If anything "Per Definition wird x durch f auf y abgebildet".
I don't get what you are trying to say though, the sentence is perfectly valid if you drop the "per Definition" part, then you get.

"x wird durch f auf y abgebildet." Which is a perfectly valid sentence.

>Per Definition is the first part of the sentence
I have no clue what you are trying to say here. What the fuck is the point of adding the part about the "by definition". It has nothing to do with anything.
Of course the subject doesn't come first if you do some retarded construction around it but at this point it seriously feels like you are just doing retarded sophistry or you are too retarded to understand my arguments.
Yes, I am seething.

>In English we would say f maps x to y.
Do you even read my posts?
I think it is obvious that you want x to be the subject and f to be the thing which acts upon the subject.
You want to say:
x is mapped by f to y.

>In french
Don't care. Beside English and German the only language I would ever learn would be Russian.

>> No.11807543

>>11807538
If it's really "x durch f auf y", then xf=y makes a lot of sense as x is going through f in the notation!

>> No.11807547
File: 90 KB, 1080x810, 1589350813667.jpg [View same] [iqdb] [saucenao] [google]
11807547

>pointless autism about a notation everyone used for centuries
>it's a german speaker
Like pottery

>> No.11807548

>>11807455
>This also mimics also Germanic grammar, where the subject of a sentence is first and then it is described what happens with it
Yes, most western languages are SVO, but I don't think you understand the grammar you're appealing to here. In any simple phrase with an actor, a verb and an object, the actor is virtually always the subject of the sentence.
You say "she loves him", "he will drive", "I ate a grape" etc. You do not say "a grape ate I". This is Klingon grammar, not English.

>> No.11807554

>>11807538
>Do you even read my posts?
>I think it is obvious that you want x to be the subject and f to be the thing which acts upon the subject.
>You want to say:
>x is mapped by f to y.
No you don't. Some languagues actually prefer the subject undergoes the action (for example french), and some don't (like english). English is my first language retard and I've studied french for my entire life, this is some of the shit we talk about.

>I have no clue what you are trying to say here. What the fuck is the point of adding the part about the "by definition". It has nothing to do with anything.
>Of course the subject doesn't come first if you do some retarded construction around it but at this point it seriously feels like you are just doing retarded sophistry or you are too retarded to understand my arguments.
>Yes, I am seething.
This is a very standard construction.

In conclusion, fuck languages, they are all different and you can't seem to speak any of them. [math]f:X\rightarrow Y\equiv f(x)=y[/math] no matter the language, and it's the standard notation.

>> No.11807559

>>11807543
>If it's really "x durch f auf y",
In English it would be:
x is mapped by f to y.
In German it is:
x wird durch f auf y abgebildet.

You want x to be the subject and if you do that it will come first in your construction.
The alternative is:
f bildet x auf y ab.
f maps x to y.
In those sentences the subject is f, which is somewhat less intuitive.

There really is no significant difference between English and German here, which is why I pointed to the Germanic language group in general.

>> No.11807561

>>11807547
we really should have just polished them off after WWII
nobody would've even been mad

>> No.11807566

>>11807548
>the actor is virtually always the subject of the sentence.
"She is carried by him to her home". Who is the actor?

>> No.11807568
File: 27 KB, 400x400, downloadfile.jpg [View same] [iqdb] [saucenao] [google]
11807568

>>11807561
>>11807547

>> No.11807574

>>11807554
>No you don't.
So you don't agree that x should be the subject

>for example french
Which is why I said GERMANIC languages.

>This is a very standard construction.
But totally irrelevant.

>they are all different
I do not see the major difference for what I am trying to say between English and German.

>and it's the standard notation.
>>11807522

>> No.11807575
File: 64 KB, 975x548, 61fd12f8.jpg [View same] [iqdb] [saucenao] [google]
11807575

A friendly reminder that every post you make about languages takes you closer to a positive multiple of 24 years.

>>11807559
[math] x -f\to y[/math] SWOOSH!

>> No.11807576

>>11807575
I am wasting my life anyway so might as well be autistic about it...

>> No.11807577

>>11807575
bro... i'm 24 already... and i have an exam tomorrow...

>> No.11807580

>>11807566
I'm not sure if you're deliberately twisting your sentence into garbled autistic cancer because you want to keep pretending you're not full of shit, or if your grasp of English is legitimately so poor you think this is a correct phrase.
No English speaker would ever say "she is carried by him", they would say "he carries her". The agent is the subject, not the passive object.

You could brutalize any of my examples this way too, but if you can't tell that "a grape was eaten by me" is stilted English you are way too ESL to argue with any further.

>> No.11807581

>>11807574
I bet you like this notation you fucking invalid https://www.youtube.com/watch?v=-hFGRV0phKg

>> No.11807585

>>11807574
>So you don't agree that x should be the subject
no, because f does the action of transforming x

>> No.11807588

>>11807576
A point most fair.

>>11807577
Then it takes you closer to 48, as I claimed.

>> No.11807589
File: 1.69 MB, 2336x3504, 1384682386826827.jpg [View same] [iqdb] [saucenao] [google]
11807589

>>11807575
>tfw turned 23 this month
it's coming for me bros...I can feel it...............

>> No.11807601

>>11807589
Komm süßer Tod, komm selge Ruh!
Im Himmel ist es besser
t is essentially death that will come to you next year.

>> No.11807607

>>11807580
>you think this is a correct phrase.
Is it wrong or is it clumsy?

>No English speaker would ever say "she is carried by him"
Again. Is it wrong or clumsy?

In German those sentences seem fine.

>>11807581
Yes. Unironically. ⊂ does NOT denote a proper subset.

>>11807585
So what should x be instead?

>> No.11807608
File: 56 KB, 1068x601, 143858682862862.jpg [View same] [iqdb] [saucenao] [google]
11807608

>>11807581
>Why yes, of course I write [math]2 \lneq 3[/math] . What gave it away?

>> No.11807615

>>11807607
>So what should x be instead?
the object being acted upon

>Again. Is it wrong or clumsy?
Clumsy. No one talks like that

>Yes. Unironically. ⊂ does NOT denote a proper subset.
Just stop

>> No.11807617
File: 2.86 MB, 480x262, based department calling.webm [View same] [iqdb] [saucenao] [google]
11807617

>>11807608

>> No.11807621

>>11807615
>Clumsy.
So why are you insulting me for it?
And you have not answered the question of who is the actor, which should be possible since you agree the sentence is grammatically correct.

>Just stop
Lol. Now you want to overthrow historical convention?

Also, all my other points, especially the one about function composition, remain unaddressed...

>> No.11807623

>>11807607
It is incredibly clumsy. I can't tell you whether it is formally wrong or not, I'm not a linguist, but it's wrong enough that people would look at you funny if you said it out loud, or that a schoolteacher would smack an elementary schooler for doing it on an essay.
Even if the sentence itself isn't literally illegal, any kind of argument saying that putting the agent last is remotely normal, let alone preferable (which is what you've been saying) is completely wrong.

>> No.11807627

>>11807621
who is the actor? (Which should be subject, but I digress) >>11807585 it's f

>> No.11807628

>>11807623
>putting the agent last
But the agent is not last.
x is mapped by f to y.

>> No.11807629

>>11807628
Sorry, I forgot how much you Kraut spergs enjoy nitpicking trivialities
*putting the agent in the middle after the object

>> No.11807632

>>11807627
Okay, but is "x is mapped by f to y." really so bad in English?
I think in German it works perfectly fine.

And what about my other point on function composition?

>> No.11807634

>>11807581
the sentence "A is subset of B" occurs extremely often in math, in comparison "A is a proper subset of B" is rarely needed
the whole point of using the notation "⊂ means subset" is that you can write this symbol quicker

>> No.11807636

>>11807629
>*putting the agent in the middle after the object
So x is the object and f the subject?

>> No.11807638

>>11807632
>Okay, but is "x is mapped by f to y." really so bad in English?
Yes. It is so bad. It's terrible. This has been explained to you multiple times here >>11807580 here >>11807615 and here >>11807623. I don't know why you don't seem to get it.

>> No.11807649

>>11807632
I don't care about composition. (g○f)(x)=g(f(x)) which makes sense. And it really is that bad, yes.

>>11807634
I would much rather have the synergy between subset and < than saving 0.000... seconds by not drawing a line. Just like how I prefer the synergy of f(x)=y to f:X->Y.

>> No.11807656

>>11807638
>This has been explained to you multiple times here >>11807580 # here >>11807615 # and here >>11807623 #.
No. All these were in reference to the "she got carried by him" or something like that.

>> No.11807659

>>11807656
You're either just weaseling around now or you are unironically on the spectrum.
Either way I'm not interested in playing along past here.

>> No.11807660

>>11807649
>which makes sense.
But you have to read it backwards for it to make sense. The direction is Z Y X, but it should be X Y Z.

>And it really is that bad, yes.
Fucking anglos. Smh

>> No.11807662

>>11807659
You are just making stuff up. Why are you surprised I point it out?

>> No.11807669

>>11807581
>>11807649
The only (weak) argument I know that can be made for [math]\subsetneq[/math] is that it's completely unambiguous. Nobody is going to stop you during a talk and ask you to define your symbols until you put a [math]\subset[/math] on the board.

>> No.11807675

>>11807669
>The only (weak) argument I know that can be made for ⊊⊊ is that it's completely unambiguous
The most important argument is that it's the way we always did it.
Why change what works?

>> No.11807677

>>11807669
It's a fair argument, but I'm of the mind that if we suppress it at every opportunity or ignore it then it will go away.

>> No.11807686

>>11807677
>but I'm of the mind that if we suppress it at every opportunity or ignore it then it will go away.
I think this is hopelessly optimistic, but I do agree that keeping [math]\subset[/math] for proper inclusion feels more coherent, and the inconvenience is trivial at worst, so I don't really see why not to.

>> No.11807693
File: 60 KB, 699x485, 136288362872.jpg [View same] [iqdb] [saucenao] [google]
11807693

[eqn]]0,1[[/eqn]

>> No.11807694

>>11807693
Now THAT is degenerate.

>> No.11807709

>>11807693
[0, 0[

>> No.11807726

Can you recommend me a good book about lattices of subgroups, Hasse diagrams, Galois connection, etc...? I took a course on group theory and Galois theory but never heard about that stuff.

>> No.11807784

x
x.f()
x.f().g()
x.f().g().h()

is a more natural and easier to write and read succession of transformations applied to x

>> No.11807785

>>11807726
Roman's field theory has some stuff about Galois connections on abstract posets in it before it does concrete Galois theory. Maybe try starting there.
Hasse diagrams are just pictures. I'm not sure how much you're really going to find to read about them.

>> No.11807790

>>11807784
>()
This seems completely unnecessary.

>> No.11807792

>>11807581
This notation, just BTW, is a Bourbakism
And they unironically also wanted < to mean ≤
As if their ugly interval notations weren't enough!

>> No.11807814

>>11807792
>And they unironically also wanted < to mean ≤
Fucking based

>> No.11807822

>repeated permutations applied left to right
>repeated permutations applied right to left

>> No.11807843

>>11807507
Stop being a degenerate alcoholic.

>> No.11807868

>>11807067
>can't even get him to read the papers we're citing
this is shockingly common nowadays
fags cite like 50 papers for no reason and they haven't even read 10 of them

>> No.11807881
File: 6 KB, 92x136, 9zzmb.jpg [View same] [iqdb] [saucenao] [google]
11807881

>>11807843
Thank you for your concern. 4 days sober now.

>>11807726
When you find one, you will see the Zassenhaus butterfly. I wonder if anybody has written an algebra textbook with a butterfly on the cover. If not, then that's a shame.

>> No.11807969

>>11807090
For an ideal [math]I\subset R[/math], the quotient [math]R/I[/math] is universal among [math]R[/math]-algebras [math]R\to R'[/math] such that [math]I\mapsto 0[/math]. That is, there exists a unique homomorphism [math]R/I \to R'[/math] that commutes in the appropriate diagram.

>> No.11807972

>>11807495
you’re an idiot. reread your post

>> No.11808127 [DELETED] 

>>11806627
Hey lads.
Does anyone know how to prove the Grace-Heawood theorem using only the residue theorem? I'm aware that usually you define an apolar polynomial and so on and then get it from that framework, but I heard it can be done solely by the residue theorem.
If people don't know it, the theorem is:

If [math]A[/math] and [math]B[/math] represent two points in the complex plane which are given roots (real or imaginary) of the equation [math]p(z)=0[/math] of degree [math]n,[/math] with real or imaginary coefficients, then there is at least one root of the equation [math]p'(z)=0[/math] within a circle whose centre is the middle point of the line [math]AB[/math] and whose radius is [math]\tfrac12AB\cot\frac{\pi}{n}.[/math]

One clue I think seems to be that if [math]A[/math] and [math]B[/math] are two opposite vertices of a regular [math]n[/math]-gon, then its inscribed circle has a radius [math]\tfrac12AB\cot\frac{\pi}{n}.[/math] Maybe somehow we can use the residue theorem to count the difference between the poles and zeros (and since [math]p(z)[/math] is just a polynomial this is the number of zeros) and somehow show it must be positive?

But the 'somehow' is not so obvious to me. Anyone know how this works out?

>> No.11808131 [DELETED] 

>>11806627
Hey lads.
Does anyone know how to prove the Grace-Heawood theorem using only the residue theorem? I'm aware that usually you define an apolar polynomial and so on and then get it from that framework, but I heard it can be done solely by the residue theorem.
If people don't know it, the theorem is:

If [math]A[/math] and [math]B[/math] represent two points in the complex plane which are given roots (real or imaginary) of the equation [math]p(z)=0[/math] of degree [math]n,[/math] with real or imaginary coefficients, then there is at least one root of the equation [math]p'(z)=0[/math] within a circle whose centre is the middle point of the line [math]AB[/math] and whose radius is [math]\tfrac12AB\cot\frac{\pi}{n}[/math].

One clue I think seems to be that if [math]A[/math] and [math]B[/math] are two opposite vertices of a regular [math]n[/math] sided polygon, then its inscribed circle has a radius [math]\tfrac12AB\cot\frac{\pi}{n}.[/math] Maybe somehow we can use the residue theorem to count the difference between the poles and zeros (and since [math]p(z)[/math] is just a polynomial this is the number of zeros) and somehow show it must be positive?

But the 'somehow' is not so obvious to me.

>> No.11808136

>>11806627
Hey lads. Third fucking attempt at getting the latex to not fuck up after the cot term but if it doesn't work this time fuck it.
Does anyone know how to prove the Grace-Heawood theorem using only the residue theorem? I'm aware that usually you define an apolar polynomial and so on and then get it from that framework, but I heard it can be done solely by the residue theorem.
If people don't know it, the theorem is:

If [math]A[/math] and [math]B[/math] represent two points in the complex plane which are given roots (real or imaginary) of the equation [math]p(z)=0[/math] of degree [math]n,[/math] with real or imaginary coefficients, then there is at least one root of the equation [math]p'(z)=0[/math] within a circle whose centre is the middle point of the line [math]AB[/math] and whose radius is [math] \tfrac12AB\cot\frac{\pi}{n} [/math]. One clue I think seems to be that if [math]A[/math] and [math]B[/math] are two opposite vertices of a regular [math]n[/math]-gon, then its inscribed circle has a radius [math] \tfrac12AB\cot\frac{\pi}{n} [/math] Maybe somehow we can use the residue theorem to count the difference between the poles and zeros (and since [math]p(z)[/math] is just a polynomial this is the number of zeros) and somehow show it must be positive?

But the 'somehow' is not so obvious to me.

>> No.11808223

>>11806627
Are there any good introductory texts on algebraic geometry?

>> No.11808251

>>11808223
I got Hartshorne as an introduction just a few days ago. I'm a physics PhD student and I've worked through about half of Lang's Algebra. How badly am I going to get fucked up?

>> No.11808264

>>11808251
I finished that book in highschool so for you, as a physics PhD student it will probably be a breeze to read through.

>> No.11808306
File: 161 KB, 1892x2219, Univariate Distribution Relationships.png [View same] [iqdb] [saucenao] [google]
11808306

>Statistics isn't mat-

>> No.11808307

>>11808306
Repeatedly posting this won't make it true.

>> No.11808313

>>11808223
Invitation to AG by Karen Smith et al is GOAT intro text, but doesn't go too deep into any single topic - however leads you up to the motivation to scheme AG so you can altogether skip classical AG. Other texts are Fulton which is boring and unmotivated, or Shafarevich, which is utterly confusing in some places. Reid's UAG is also decent and actually proves a certain result of lines on cubic surfaces which is nice. I heard AG through problem solving is good too, but focuses more analytic stuff. Hartshorne's chapter I can also be a good intro once you've completed an easier text like Smith or Reid, and has a surprising amount of detail and results.

>> No.11808329

>>11808313
Great stuff. Thanks for the in depth answer.

>> No.11808371

>>11808306
this is just a mess of substitutions and formulae with no deeper significance
Compare that to the relations between special functions in complex analysis, and then on top of that you have their links to PDEs, number theory, and all the rest.

>> No.11808474

>>11808136
For some reason I love old-timey problems like this

>> No.11808531

Reading this now

https://math.stanford.edu/~feferman/papers/Godelprogram.pdf

>> No.11808554

>>11807784

>CS kid thinks he's got it all figured out when men who actually did work on the area were the ones that established the current notation

>> No.11808564

>>11807784
this is such a stupid notation.

>> No.11808591

>>11808554
>Math majors are better at coding than CS majors
>Math majors are better at problem solving than CS majors
>Math majors are better at mathematics than CS majors
Why is this?

>> No.11808602

>>11807784
honestly, this might be the worst post I've ever seen on /mg/

>> No.11808619 [DELETED] 

My wife, Mathematics, is so cute.

>> No.11808620

>>11806670
Anyone who uses [math]p[/math] and [math]\rho[/math] in the same problem also deserves to fall off a very tall building.

>> No.11808624

>>11806627
is khan academy any good? just want to know maths enough to understand basic things like statistics and basic physics and shit like that also is mental arithmetic just practice makes perfect?

>> No.11808629 [DELETED] 
File: 195 KB, 1010x1500, yande.re 566033 sample animal_ears bikini henreader kyou_kara_ore_wa_loli_no_himo! loli nijou_touka swimsuits tail.jpg [View same] [iqdb] [saucenao] [google]
11808629

>>11808619
She has some really great curves, not gonna lie.

>> No.11808631

>>11808624
>is khan academy any good?
Yes.

>> No.11808639
File: 654 B, 66x33, 026fd642e00c865630c1fa1c29a5881.png [View same] [iqdb] [saucenao] [google]
11808639

stuck on this problem, if you were to answer this as a 3^something, what would that be? cant figure out how to do with the square root.

ive gotten this far: ( 3^4 * 3^6 * 3^1/3 ) / (2*3^0.5 * 3^3 * 3^12), but now im stuck. any help greatly appreciated!

sorry for shit english and shit math

>> No.11808640

>>11808620
there goes the entire field of fluid dynamics

>> No.11808646

>>11808639
why do you need a 2 on a square root?
surely this expression was written by someone totally incompetent

>> No.11808649
File: 6 KB, 225x224, PHENOTYPE.jpg [View same] [iqdb] [saucenao] [google]
11808649

While I concur that one can never make it when one reaches the age of 24, one can never make it, regardless of one's age, if one doesn't have the PHENOTYPE.

>> No.11808651

>>11808640
You say that like it's a bad thing.

>> No.11808654

>>11808651
I'm ambivalent at best

>> No.11808665

>>11808554
not an argument

>>11808591
not the case

>> No.11808671

>>11808640
>and on this day, nothing of value was lost

>> No.11808673

>>11808665
>not the case
lol

>> No.11808685

>>11808665
>not the case
That's a cope.

>> No.11808738

>>11808665
it's like you're just effortlessly cringe

>> No.11808821

I wonder if the suicide rate for mathematicians is higher or lower than that of the general population...

>> No.11808826
File: 1.00 MB, 3000x2159, master-bedroom-andrew-wyeth.jpg [View same] [iqdb] [saucenao] [google]
11808826

>>11808821
higher, if you include failed mathematicians

>> No.11808830

>>11808821
Lower, if you include successful mathematicians.

>> No.11808838

>>11808826
>>11808830
What is this, reddit?

>> No.11808847

>>11808838
Always has been, newfriend.

>> No.11808938

>>11808685
Math majors are only better at coding than the part of CS who chose it because of meme reasons and struggle with calc or w/e.

t. CS kid who is actually a math chad in disguise

>> No.11808993

>>11808826
>>11808830
then higher since 99% of math majors become school teachers

>> No.11808998

>>11808639
[eqn]x^a*x^b=x^{a+b}[/eqn]
[eqn]\sqrt[2]{3} \neq 2*\sqrt{3}[/eqn]
Not only that, but [math]9^2[/math] is not [math]3^6[/math]. It's [math]9*9[/math] which is [math]3^4[/math].

>> No.11809007

>>11808993
>99% of math majors become school teachers
[citation needed]

>> No.11809014

>>11808639
It evaluates to [math]\frac{3^{\frac{25}{3}}}{3^{\frac{31}{2}}}[/math] btw.

>> No.11809032

>>11809014
[math]\alpha=\frac{25}{3}\\ \beta=\frac{31}{2} \\ \xi=\frac{3^\alpha}{3^\beta},\xi\notin\mathbb{Q}[/math]

>> No.11809051

>>11809032
Surely it's just [math]\frac{3^{\frac{50}{6}}}{3^{\frac{91}{6}}}[/math] which evaluates to [math]3^{\frac{50}{6} - \frac{91}{6}}[/math]?

>> No.11809053

>>11809051
That 91 in the numerators should be 93

>> No.11809054

any point in learning maths if I'm just a menial shelf stacker?

>> No.11809056

>>11809054
It's good for being hired at better jobs, like electrician

>> No.11809057

>>11809054
Yes.

>> No.11809058

>>11809054
no point, i think

>> No.11809061

>>11809056
My current job pays me enough money and I enjoy physical labor
>>11809057
>>11809058
hmmmmmmm

>> No.11809068

>>11809054
I was a dishwasher once

>> No.11809081

>>11809068
Weren't we all?

>> No.11809093

>>11809051
Yeah, that's correct.

>> No.11809098

>>11807868
I've seen a lot of papers/books where there are things in the bibliography that are cited 0 times in the entire text
I dunno if people just copy/paste the same bibliography across multiple pieces of work or if they figure nobody'll notice so they can slip their friends a few extra citations or what

>> No.11809112

>>11807693
absolutely disgusting
>>11808591
Significantly lower iq ceiling and floor (~.5-1 SD) for CS than mathematics
>>11808629
kill yourself

>> No.11809122

>>11809054
I stocked shelves during my bsc in math bucko. get to it.

>> No.11809149

>>11809112
Is math the highest IQ major?

>> No.11809164

>>11809149
Statistically, physics is.

>> No.11809190
File: 1.42 MB, 746x1119, 1391306579163.png [View same] [iqdb] [saucenao] [google]
11809190

I asked about this a while ago but I didn't get a good answer, let me try again because it's annoying me.

For some sets [math]A,B[/math], define their Minkowski sum as [math]A + B = \{ a + b: a \in A, b \in B \}[/math]. It is known that if both sets are closed and at least one is compact, then [math]A+B[/math] is a closed. I am interested in examples of when both sets are closed, but their sum is not.

The particular case I have is in the space [math]B(\mathcal{H})[/math] of bounded operators on some Hilbert space, and [math]A[/math] is the cone of positive operators. Is it possible to come up with a *closed* set [math]B[/math] such that [math]A+B[/math] is *not* closed?

Essentially, I'm trying to find the weakest possible assumption on [math]B[/math] such that [math]A+B[/math] is closed in this particular case, and I'm not sure whether closedness suffices.

>> No.11809195
File: 3.10 MB, 3204x2872, 1587451100246.png [View same] [iqdb] [saucenao] [google]
11809195

>>11806627
much better /mg/ essentials guide attached.

>> No.11809199

>>11809195
>No anime image included
>Better

>> No.11809200

>>11809190
I should add that I'd like [math]B[math] to be closed and bounded, but not necessarily compact.

>> No.11809202

>>11809199
This.

>> No.11809209

>>11809200
[math]B[/math]

>> No.11809233

>>11809190
i answered this exact question a few threads ago

>> No.11809238
File: 2.86 MB, 3204x2872, 1592424692175.png [View same] [iqdb] [saucenao] [google]
11809238

>>11809199

>> No.11809258

Can somebody who understands german look at this book
https://archive.org/details/einfhrungindiet01holzgoog/page/n17/mode/2up
and tell me what is going on there? What is it about in modern terms?

>> No.11809265
File: 375 KB, 735x720, 1592200273601.png [View same] [iqdb] [saucenao] [google]
11809265

>>11809238
Wrong anime girl.

>> No.11809267

so how about some quasiconformal mappings

>> No.11809287

>>11809258
Judging from the table of contents I would call it something like complex analysis, I guess?

Although clearly not in the way people think about it today.

>> No.11809294

To get back on math (from my shit level) I just bought some used highschool textbooks which seemed nice
I hope I have the willpower to go through them, wish me strength lads

>> No.11809310

>>11809294
Best of luck, anon.

>> No.11809315

>>11809190
Choose an orthonormal basis [math](e_i)_{i \in I}[/math]. I will denote by [math]v \otimes w[/math] the unique operator [math]A \in B(\mathcal{H})[/math] given by the formula [math]Ax = \langle x, w \rangle v[/math].
Let [math]A_k = (-1 + \frac{1}{k})e_1 \otimes e_1 - e_k \otimes e_k[/math].
Then for distinct k, l, we have [math]||A_k - A_l|| \geq 1[/math], because [math]A_k e_k = -e_k[/math] and [math]A_l e_k = 0[/math]. It follows that [math]S = \{A_k : k \geq 1 \}[/math] is closed.
Now let [math]P[/math] denote the cone of positive operators.
Then [math]T = -e_1 \otimes e_1[/math] does not belong to [math]S+P[/math], but it belongs to the closure.

>> No.11809320
File: 1.29 MB, 904x1300, file.png [View same] [iqdb] [saucenao] [google]
11809320

What is the best type of paper for general exercising, /math/?

>> No.11809326
File: 999 KB, 500x268, 1591580414508.gif [View same] [iqdb] [saucenao] [google]
11809326

>>11809320
Rhodia wirebound Dotpad with either a broad fountain pen or a .5 2-4B pencil.
That's how I usually do it

>> No.11809329

>>11809320
11x9

>> No.11809343

>>11809326
>>11809329
Are those blank or lined? Im not in the US so I those brands doesnt exist here.

>> No.11809344

>>11809320
Any. Important is that the pen/pencil is comfortable to use.

>> No.11809350

>>11809343
Don't know about the other guy, but the dotpads are a grid, but with dots instead of full lines.

>> No.11809353

>>11809344
This guy is wrong.
Smooth paper makes a huge difference from the basic rough junk you find on cheap pads.
Far more comfy

>> No.11809358

Why is the general form of a matrix [math]A\in SO(2,\mathbb{R})[/math] given by [math]\begin{bmatrix} cos(\phi)& -sin(\phi)\\ sin(\phi)&cos(\phi) \end{bmatrix}[/math] instead of [math]\begin{bmatrix} sin(\phi)& -cos(\phi)\\ cos(\phi)&sin(\phi) \end{bmatrix}[/math]? In both instances, [math]det(A)=1[/math], [math]A^T=A^-1[/math], and [math]AA^T=A^TA=I_2[/math].

Also, praying my TeX works.

>> No.11809360

>>11809353
m8 if normal, non-silky smooth premium paper is too rough for general calculations, then you might just be a little pussy
for proper research stuff in the stage before texing I agree, it should be good paper suitable for preserving it

>> No.11809368

>>11809343
Lined, for me.
Whenever I use blank pages, my writing always slowly curves awkwardly.

>> No.11809370

>>11809358
Cause [math]\phi=0[/math], that is the identity in [math](\mathbb{R},+)[/math], should correspond to the identity 2x2-matrix.

>> No.11809373

>>11809360
M8
I really just don't want to deal with my pencil scraping and a higher chance of lead breakage when I can have that silky smooth pencil snob experience

>> No.11809387

>>11809373
kek, welp whatever floats your goat
also pen [math]>[/math] pencil

>> No.11809397
File: 57 KB, 832x1024, 07d9ccb30567a6d130969bc724cf2871f4cf2b6f_hq.jpg [View same] [iqdb] [saucenao] [google]
11809397

Need help creating a quadratic equation with numbers where x=5 would be equal to 50 when plugged into this equation. (Trying to set up a ruleset, but am mathlet and have no idea how quadratics work or how to make them)

>> No.11809402

>>11809397
i'm not sure you mean
would [math]x^2 + 45[/math] satisfy you?

>> No.11809405

>>11809370
I feel dumb now.
Thanks.

>> No.11809428

>>11809402
>Where x=5 would be equal to 50
You mean [math]x^2 + 25.000...1[/math]

>> No.11809432

>>11809315
uhhh isn't your [math]T[/math] just [math]A_1[/math]?

>> No.11809437

>>11809432
you're right
it should be [math]S = \{ A_k : k \geq 2\} [/math]

>> No.11809444

>>11809428
yes I meant [math]x^2 + 25[/math]

>> No.11809452

>>11809402
Looking at this, I realize I have no idea what I thought I would be able to do with a formula you have to solve...

I'm trying to plot out the math for a cyoa so that people can 'make' their builds using this system and actually fight with them in a way that isn't just 'I win cause I'm cool and you're a poopy head' as things like this have an unfortunate tendency to devolve into.

There are 'tiers' of things you can choose, and each tier takes an exponentially longer amount of time to achieve from the last (so T1 in a subject might take a month, T2 from T1 a year, T3 a decent number of years. The end result of this is that T4 took about 120 years. But, there is a way to get up to T6 with an option, so I need it to scale from 1-6 in this exponential manner.)
So essentially I'm trying to make the numbers you add to your 'attack' stat from getting these higher tiers comparable to the scaling you get in the amount of time it takes to *reach* those tiers.

However, since it's a duel, I want rolling a dice to play an important part in this so it's not *all* down to just what stats you have, while still making it nigh impossible for someone with T1 in all combat stats to beat someone with T5 in one of their combat stats.

But balancing that, is the need for that number to be small enough that 'rolling' a 100 sided 'dice' (4chans RNG, but you get the point I hope) will still have an important impact on the over-all contest.

Does that make sense?

>> No.11809505
File: 104 KB, 640x336, image.jpg [View same] [iqdb] [saucenao] [google]
11809505

>>11808993
my math major homies who didn’t want to continue in math stole the cs monkeys’ jobs
don’t know any who became schoolteachers

>> No.11809516
File: 356 KB, 1080x810, image.jpg [View same] [iqdb] [saucenao] [google]
11809516

>>11809320
I use light labs aqua drops notebooks for textbook notes n do exercises on a kokuyo campus notepad

>> No.11809546

>>11809452
i see now, maybe you want: [math]T(x) = 2x^2[/math], so you get T1=2, T2=8, T3=18, T4=32, T5=50, T6=72
also, if there are only 6 tiers of something, you can just write down whatever numbers you choose, right? no need for a formula

>> No.11809548
File: 187 KB, 640x550, 097cbi9nh8x41.png [View same] [iqdb] [saucenao] [google]
11809548

>>11809054
I did that after getting my master's degree. It is now an officially mathematical job and you have no excuses not to.

>> No.11809550
File: 15 KB, 644x800, wojak-numale.png [View same] [iqdb] [saucenao] [google]
11809550

What's his preferred field of mathematics?

>> No.11809555

>>11809548
What did you do your master's in, anon?

>> No.11809557

>>11809550
Algebra.

>> No.11809563

>>11809550
Logic.

>> No.11809564

>>11809555
Homological algebra.

>> No.11809566
File: 1.62 MB, 1752x1416, c.png [View same] [iqdb] [saucenao] [google]
11809566

>>11809258
https://en.wikipedia.org/wiki/Orthogonal_trajectory
&
https://en.wikipedia.org/wiki/Conformal_map

>> No.11809614
File: 160 KB, 1510x907, yahoo.jpg [View same] [iqdb] [saucenao] [google]
11809614

>>11809546
That's perfect!
(The reason I didn't want to just write down random numbers is that I don't trust myself to set up something that actually makes sense. So turning to my most hated foe: Mathematics was the most sensible option.)

Appreciate the help friend, hope you have a good day.

>> No.11809618
File: 1.80 MB, 1202x910, 1500966839269.png [View same] [iqdb] [saucenao] [google]
11809618

Threadly reminder that Professor Green is away on a conference and that the physics department needs one more player for the football game against the chemistry department this saturday. Please please PLEASE help us, you literally just need to know how to kick a ball.

>> No.11809622

>>11809618
By football, you mean the ball you kick around with your feet or the egg you carry round with your hands?

>> No.11809634

>>11809618
Threadly reminder to work with physicists.

>> No.11809657

>>11809550
category theory

>> No.11809665

God I just wish I had a math gf (bf) to watch wildberger's algebraic calculus series together

>> No.11809710

>>11809665
Why don’t you become the gf?

>> No.11809745
File: 28 KB, 480x360, Flostudy.jpg [View same] [iqdb] [saucenao] [google]
11809745

>>11809665

>> No.11809775

>>11809745

women can't understand wildberger's classes

>> No.11809780

>>11809745
brits are so fucking ugly even our alcoholic tranny is probably less hideous lmao

>> No.11809803
File: 47 KB, 672x520, Capture.jpg [View same] [iqdb] [saucenao] [google]
11809803

>>11809780
>Our alcoholic tranny
?

>> No.11809899

>>11809550
Proability

>> No.11809905

>>11809054
You could think about problems while stacking shelves

>> No.11809930
File: 24 KB, 480x360, thang.jpg [View same] [iqdb] [saucenao] [google]
11809930

>>11809905

This. Pic related.

>> No.11809934

>>11809930
It's Zhang.
t. had him at UNH as one of my professors

>> No.11809949

>>11809934

did his class filter you?

>> No.11809953

>>11809899
Now that I think about it I don't think I've ever actually met a full-blooded probabilist. Is there a stereotype for their personalities like there is for other fields of math?

>> No.11809956

>>11809953

philosophy double major

>> No.11809957

>>11809949
No, it was Calc II. He's a really cool guy, though.

>> No.11809959

>>11809665
I hope you get AIDS faggot
>>11809550
Logic, Algebra, “”””computational theory”””, “””””complexity theory””””, category theory

Basically, not math.

>> No.11809960

>>11809956
>Hating on philosophy
Biggest red flag for a smooth brain.

>> No.11809967

>>11809960

It wasn't a value claim, just a statement. Philosophy majors love paradoxes.

>> No.11810016
File: 321 KB, 1446x601, ScholarshipCalculus.jpg [View same] [iqdb] [saucenao] [google]
11810016

I have an upcoming exam in 3 months, and it will cover algebra up to early calculus 3. I already have a notion of derivatives from the early semester, but since my algebra skills are fucking bad, I decided to learn from the beginning. I've been reading some recommendations, but I'm in doubt about which book to use, I read about the Lang, Allendoerfer and Stroud Textbooks being excellent. I chose three of these books and decided to use one of them to work most of, while the rest I use for support.

1- Basic Mathematics, Serge Lang
2- Principles of Mathematics/Fundamentals of freshman mathematics, Allendoerfer
3- Engineering Mathematics, K.A Stroud

About the first and the second, I heard that it is sufficient great for building a great algebra background, and after finishing it, study calculus from a single calculus book.

And about the third, I got the physical copy of it. From what I read in the summary, it covers everything from arithmetic to multiple integrals, but being a general Mathematics book, I'm afraid to not approach algebra in a straight and rigorous way.

Has anyone used any of these books? Which one would be best for building a rigorous algebra background? I'm planning to use some of them with Professor Leonard Videos, and PatrickJMT Notes. And of course, practice a lot of questions. I will study for about 8~10 hours, I'm afraid if it will be sufficient for 3 months.

Some pics of the last exam.

>> No.11810023

>>11810016
fucking hell those partial fraction integrals look gross

>> No.11810028
File: 1.10 MB, 500x380, 54678698790.gif [View same] [iqdb] [saucenao] [google]
11810028

>>11810016
Help anons, if I pass in this exam, I will get a partial scholarship from my university.

>> No.11810033

>>11810016
Messmath. He covers Calculus 1 - 3. It's all lecture based though.

>> No.11810035

>>11810016
>Those overly tedious integrals
Why do universities do this?

>> No.11810039
File: 10 KB, 250x250, 1590270939477.jpg [View same] [iqdb] [saucenao] [google]
11810039

Is there any way to graph a wave based off of three points (2 peaks and 1 valley or 1 valley and 2 peaks) or at least isolate the variable "B" in the following equation:

y = Asin(Bx + C) + D

Like a parabola there should be other equations that let me isolate "B" using points on the wave instead of the other variables, like with the vertex or intercept form of a parabola equation.

If it helps I actually have access to two other points on the wave that are neither max or min just on the wave.

>> No.11810040

>>11810035

engineers obsess over them because they can't handle proofs

>> No.11810041

>>11810023
yeah, luckily I need to get only 70% of the exam, but these fucking calculus level 3 questions worth 10 points.

>> No.11810045

>>11810040
But, in the real world, these will be handled by computers and 99% of them will be done via numerical methods anyways.

>> No.11810049

>>11810039
Anon, that nigga on /sqt/ has already explained it five times over to you.
I'll give you the shittiest example in the world: if I give you a number n, and a remainder r, can you figure out what modulo class (period) I'm using?
No.
No, you can't.

>> No.11810053

>>11810033
thx and about the algebra/precalc?

>> No.11810068

>>11810053
you can look up the organic chem tutor or brian mclogan. they both do quick and to the point precalc and algebra.

>> No.11810133

>>11807792
What did they wanna use for standard < then?
>>11807581
Subset notation threw me for a bit of a loop back in HS. Teacher used one, book another, notes another

>> No.11810139

>>11809195
But the OP isn't an essentials guide

>> No.11810140

>>11810041
None of them are actually hard, but they're pajeet-tier tedious.
Every integral in exercise 14 is 100% mechanical, but some of them (for example c) are going to take an entire page of messy calculations to solve. There should be fucking one of those to make sure you can do partial fractions, not 6 obnoxiously long ones.

>> No.11810164
File: 65 KB, 1068x601, Gigachad.jpg [View same] [iqdb] [saucenao] [google]
11810164

[math]\prod_{n=1} ^\infty \frac{4n^2}{4n^2-1}=\frac{\pi}{2}[/math]

>> No.11810171

>>11810164
kill yourself retard

>> No.11810178

Post some college algebra chart

>> No.11810289
File: 1.37 MB, 1140x4777, 1384823862862.png [View same] [iqdb] [saucenao] [google]
11810289

>>11810178

>> No.11810290

>>11810289
Kek

>> No.11810295

>>11810289
>no anime girl
don't care

>> No.11810302
File: 27 KB, 640x360, 7yrf79.jpg [View same] [iqdb] [saucenao] [google]
11810302

Good morning /mg/

>>11810295
Misha himself is the best anime girl and anything done by him already contains the obligatory 2D maiden.

>> No.11810333

>>11810302
Good morning, anon.

>> No.11810338

>>11810333
Thanks! Have a productive day or night or w/e.

>> No.11810342
File: 528 KB, 500x281, Sleepy.gif [View same] [iqdb] [saucenao] [google]
11810342

>>11810338
It's midnight here, so I'll be signing off shortly.

>> No.11810356
File: 37 KB, 765x299, 1592000283832.jpg [View same] [iqdb] [saucenao] [google]
11810356

>>11810342
You have my permission to sleep.

>> No.11810418
File: 103 KB, 320x240, 1494809844833.png [View same] [iqdb] [saucenao] [google]
11810418

I'm fighting with this question, I wonder if anyone finds it interesting or has any thoughts.

Let [math]\Upsilon[/math] be a finite set such that [math]\Upsilon \subset \N [/math]
We can write an algorithm [math]F(n)[/math] that either accepts n if [math]n \in \Upsilon[/math] or rejects otherwise. An algorithm that just checks on a big list with all the numbers of [math]\Upsilon[/math] is a fair algorithm, in the sense that it solves our problem, but it is not optimal in some cases. For example, [math]\Upsilon = {2,4,6,8,10}[/math] could be just checked by a simpler algorithm, that checks if the number is divisible by two and if it is less than 11. Although I did not prove it, we can agree that this is a good candidate for the optimal algorithm for checking such set, so we shall call it an optimal algorithm, because it is simpler than the naïve check. My question is, do all the sets [math]\Upsilon[/math] have an optimal algorithm?

>> No.11810421

>>11810418
>write an algorithm
>>>/g/
>>>/r/eddit
>>>/trash/
>>>/out/

faggot

>> No.11810425

>>11810418
>do all the sets ΥΥ have an optimal algorithm?
Obviously.
Proof:
For every set there is at least one algorithm, we can check every algorithm which produces the result and that is less steps than the trivial one, there is a finite amount of them, thus a minimum exists.

>> No.11810433

>>11810425
>r every set there is at least one algorithm, we can check every algorithm which produces the result
Yes.
>and that is less steps than the trivial one,
But you just assumed that, this is the kernel of my question, how do we prove that?


>>11810421
Mathematics is not just geometry, my dear engineer.

>> No.11810440
File: 61 KB, 472x874, 1583097806078.jpg [View same] [iqdb] [saucenao] [google]
11810440

>>11810433
You're right, it's also category theory, my dear code-monkey

>> No.11810441

>>11810433
>But you just assumed that, this is the kernel of my question, how do we prove that?
Prove what. There is nothing to prove. Even if there is no better one than the trivial one, there still is a minimum.

>> No.11810443

>>11810425
This is retarded, your algorithm can have a different number of evaluation steps for each integer, and the order you seem to imply on ℕ 2 is not total.

>> No.11810451

>>11810443
>, and the order you seem to imply on ℕ 2 is not total.
You can just choose whatever order you want.
E.g. sum of steps, mean over steps.
But of course, your minimum should be in R.

>> No.11810456

>>11810451
>You can just choose whatever order you want.
I am afraid that >11810418 requires the pointwise order, otherwise this is side-stepping the problem.

>> No.11810552

>>11810456
There's not going to be one single algorithm which is fastest for every integer simultaneously. Pick any integer n, and then hardcode the answer for n into the algorithm. Now f(n) finishes after 1 comparison.

>> No.11810729

>>11808136
Maybe you could try something with the polynomial [math](z-1)^n-(z+1)^n[/math] which has zeros [math]z=-i\cot\frac{\pi}{n}[/math]

>> No.11810731

>>11810729
I mean [math] z=-i\cot\frac{k\pi}{n} [/math] for [math]k=0,1,\dots,n-1[/math]

>> No.11810741
File: 1.49 MB, 2592x3888, emmmfro.jpg [View same] [iqdb] [saucenao] [google]
11810741

>>11810425
>we can check every algorithm which produces the result and that is less steps than the trivial one, there is a finite amount of them, thus a minimum exists.
I'm not certain if I interpret the sentence correct, but to rule one reading out let me point out that every computable function [math] \phi [/math] with a program implementation [math] P [/math] , there's infinitely many definite programs [math] P', P'',\dots [/math] that do the job. (E.g., if [math] P(n) [/math] is the result that [math] P [/math] gives, then [math] P'(n) [/math] defined as factoring [math] 14 [/math] and then computing [math] P [/math] also implements [math] \phi [/math] . And factoring [math] 14 [/math] twice and trice gives new programs that also correspond to the same computable function.)

>>11810418
>Let [math]Υ[/math] be a finite set such that [math]Υ\subset {\mathbb N} [/math]. We can write an algorithm F(n) that either accepts n if n∈Υ or rejects otherwise.
Tiresome remark, but possible worth it: This language, which is class classical math language in a computability theory context, is a bit sloppy.

Take at face value, here the counter example:
Let [math] Y = \{4,6,9\} [/math] if Goldbach's conjecture is true and [math] Y = \{0, 2, 5, 6, 11\} [/math] if Goldbach's conjecture is false.
Questions such as [math] 2\in Y [/math] are extremely hard to answer and could in fact be undecidable.
In any case, making the assumption that [math] Y = \{4,6,9\} [/math] or [math] Y = \{0, 2, 5, 6, 11\} [/math], we have that [math]Υ\subset {\mathbb N} [/math], but there may be no slow algorithm that decides whether [math] 2 [/math] should be accepted.

But okay, say your friend writes down [math] \{0, 2, 5, 6, 11\} [/math] on a paper and asks you for fastest program.
I think you want to look at:
https://en.wikipedia.org/wiki/Kolmogorov_complexity

Possibly relevant also:
https://en.wikipedia.org/wiki/Rice%27s_theorem

>> No.11810759

Just got offered a job related to formal verification and model checking, is there a future in this?

>> No.11810768

>>11810759
can you describe what this job is about?

>> No.11810823

>>11808136
I think the analysis problems tend to be less popular here than the algebra ones for some reason.

>> No.11810887

>>11808136
>One clue I think seems to be that if AA and BB are two opposite vertices of a regular nn-gon
How does this idea of "opposite" vertices work when n is odd?

>> No.11810889

permutation on {1,2,3,4,5}
1 2 3 4 5
1 3 2 4 5
is a bicycle

>> No.11810898

>>11810889
wat

>> No.11810903

>>11810898
That permutation is just (23).

>> No.11810906
File: 234 KB, 2083x1821, 13486284887373.jpg [View same] [iqdb] [saucenao] [google]
11810906

>>11810903
ok but what does that have to do with bicycles

>> No.11810909

>>11810906
(23) is a bicycle

>> No.11810912

>>11810906
Learn some algebra.

>> No.11810935

>>11810887
One point is on the axis of symmetry, the others can be paired with opposing points. Just remember your high school geometry. From each point you can draw a line going through the centre of a circle and all that, and get the excircle and incircles and everything.

>> No.11810998

>>11810935
>the others can be paired with opposing points.
Oh. Okay, opposite means "reflected through the 1 vertex between them". I was interpreting it as "opposite end of the diameter of the circle".

>> No.11811116

>>11810421
This.

>> No.11811183

Are there group homomorphisms [math]\pi:G\rightarrow H[/math] such that [math]|ker(\pi)|=\infty[/math]?

>> No.11811201

>>11811183
[eqn]\mathbb{Z} \rightarrow \mathbb{Z}/p\mathbb{Z}[/eqn]

>> No.11811203

>>11811183
Natural projection from G to G/G where G is an infinite group.

>> No.11811259

>>11808136
I think I figured this out from your clue. I'm not a mathematician or a maths student so I suck at rigor, but I think I understand this intuitively, so here's my sketch of a """proof"""

What you do is derive Macdonald's theorem from the residue theorem:

If [math]f(z)[/math] is holomorphic on the interior of a contour [math]C[/math], defined by [math]|f(z)|=R[/math] for some constant [math]R[/math] then the function has exactly one more zero in that region than its derivative.

From that theorem you can show that if [math]f(z)[/math] is a real polynomial with real and distinct zeros, then between two consecutive zeros there is exactly one root of its derivative.

Finally, if you generalise things a bit, you can show that if there are two zeros of an [math]n[/math]-th degree polynomial in the complex plane, except now this polynomial doesn't have to have real coefficients, then now the root between the two doesn't have to be on the line between them, but it will be bounded by the incircle of the regular [math]n[/math]-gon because no matter where you rotated or reflected the axis of the two roots are, there has to be a line on which the derivative has a zero.

Finally, as you've pointed out, the radius of this circle is just [math]\frac12AB\cot\frac{\pi}{n}[/math]

>> No.11811261

[math]\int_0 ^1 x^xdx = \int_0 ^1 e^{log(x^x)}dx = \int \sum_{n=0} ^ \infty \frac {x^n log^n(x)}{n!} dx \approx .7834[/math]

>> No.11811553

>>11811261
what's the elongated s?

what does it do? i see it a lot.

>> No.11811556

>>11807784

Some category theorists already write x ; f ; g ; h for that.

>> No.11811560
File: 71 KB, 912x1024, 48fwwztmk3c41.jpg [View same] [iqdb] [saucenao] [google]
11811560

[math](a+b)^2=a^2+b^2[/math]

>> No.11811562

>>11811556
>category theorists
not science or math.

>> No.11811570

>>11811560
wrong. it's a^2 + 2ab + b^2


idiot. go study pre-algebra then you can come back here with the big boys.

>> No.11811576

>>11811570
>not working in [math]\mathbb{C}[a,b]/(ab)[/math]
absolute plebmaster

>> No.11811580
File: 41 KB, 1280x1483, tfw.png [View same] [iqdb] [saucenao] [google]
11811580

>>11811560
[math](\alpha+\beta)^2=(\alpha+\beta)(\alpha+\beta)=\alpha^2+\beta^2+\beta\alpha+\alpha\beta=\alpha^2+2\alpha\beta+\beta^2[/math]

>> No.11811583
File: 47 KB, 1200x1200, 1200px-Category_SVG.svg.png [View same] [iqdb] [saucenao] [google]
11811583

>>11811562
>Category theory is the gender studies of mat-

>> No.11811592

>>11811580
who said [math]\alpha[/math] an [math]\beta[/math] have to commute, god I hate mathematoids

>> No.11811597

product topology vs. box topology - which is best and why?

>> No.11811603
File: 596 KB, 1242x1320, 1552644307174.jpg [View same] [iqdb] [saucenao] [google]
11811603

>>11811597
>topology

>> No.11811607
File: 77 KB, 415x495, TFWintelligent.png [View same] [iqdb] [saucenao] [google]
11811607

>>11811592
[math]\forall z,w\in\mathbb{C}[/math] it follows that [math]z+w=w+z[/math].

>> No.11811608

>>11811570
>wrong. it's a^2 + 2ab + b^2
Idiot. Look up freshman's dream.

go study pre-algebraic-topology then you can come back here with the big boys.

>> No.11811616

>>11811608
>topology
Geometry,

>> No.11811618

>>11811608
I'm more of a sophomore's dream man, myself.

>> No.11811643
File: 114 KB, 750x935, 8y6cc.jpg [View same] [iqdb] [saucenao] [google]
11811643

>>11811597
I think I read somewhere that Alexandrov told Tikhonov that his dumb product topology will never be used. Oopsie.

>>11811560
True when you are doing the almost smart thing and using [math]\mathbb{F}_2[/math].

>> No.11811652

>>11810741
Hmmm, nice, the motivation behind this qestion is basically can we "compress" any finite set of positive integers (maybe excluding zero f it turns out to be a hassle) with a simple algorithm? I don't really care for how fast the algorithm is, but how small it can be. As an example, imagine we have a big set, let's say with a trillion numbers in it. Can we always define a small algorithm for checking it, or there will be at least one set where the algorithm will have to somehow encode all the members rather than test a common property.


Thanks for the links, I'll read them carefully.

>> No.11811666
File: 7 KB, 179x281, 1584878510366.jpg [View same] [iqdb] [saucenao] [google]
11811666

>bombed diff geo midterm
It was going so well bros...

>> No.11811668

>>11811597
box topology is a source of counterexamples in your general topology class, literally nothing else

>> No.11811672

>>11811666
Based digits.
What questions tripped you up, anon?

>> No.11811676

>>11810741
There's no reason to assume that Goldbach's conjecture is false.

>> No.11811681
File: 339 KB, 1502x938, Bildschirmfoto 2020-06-18 um 18.19.09.png [View same] [iqdb] [saucenao] [google]
11811681

>>11811652
If you don't actually care for runtime but "enumerate all elements of Y and at each new element compare against your query number" is fair game, then the answer is, I guess, no.

>Hmmm, nice, the motivation behind this qestion is basically can we "compress" any finite set of positive integers (maybe excluding zero f it turns out to be a hassle) with a simple algorithm?
Those are called Per Martin Löf random, pic related - the same Martin Löf of dependent type theory with equality that's so hot right now, and also the same Martin Löf who worked on finding out which birds have a pussy.

>> No.11811688

>>11811681
Nice!

>> No.11811710

>>11811672
Nearly all of them (even the simple computation one). It didn't help that I slept for at most 4 hours. I realized shortly after I finished that the one complete answer I wrote is wrong.

I have no desire to give up, but my mark will suffer for this. Really wish I studied vector fields more.

>> No.11811720
File: 33 KB, 500x465, tcuyi.jpg [View same] [iqdb] [saucenao] [google]
11811720

>>11811710
>I have no desire to give up
That's the spirit
>but my mark will suffer for this. Really wish I studied vector fields more.
You learned your lesson. Never make this mistake again.

>> No.11811728
File: 191 KB, 1000x1002, Animegirlgun.png [View same] [iqdb] [saucenao] [google]
11811728

>>11811710
Always make sure you get, at least, 7 hours of sleep prior to examinations. Staying up all night and cramming isn't going to work with the real math classes.

>> No.11811735
File: 373 KB, 2122x2098, __kawashiro_nitori_touhou_drawn_by_mata_matasoup__be08cd9b2697d477fadfc212995ce4af.jpg [View same] [iqdb] [saucenao] [google]
11811735

>>11811597
While the product topology may have many applications, the box topology has all the cuteness points, so I'm gonna have to choose that one.

>> No.11811736
File: 1.40 MB, 480x480, 1592023965059.webm [View same] [iqdb] [saucenao] [google]
11811736

>>11811720
>>11811728
thank you, based anime anon. I will do my best from now on :)

>> No.11811737

>>11811710
I wrote my sophomore statistics exam after being awake for about 40 hours and writing 2 other exams the previous day. Somehow managed an acceptable grade on it but I was so blacked out I couldn't even remember if I wrote the next day. I had to check with somebody to make sure I was at the exam.

>> No.11811743
File: 51 KB, 800x450, a0463.jpg [View same] [iqdb] [saucenao] [google]
11811743

>>11811736
Live up to your promise or die trying!

>> No.11811745

Are stochastic processes honest or dishonest math?

>> No.11811748

>>11811743
>stochastic
dishonest

>> No.11811752

>>11811736
Is this real?

>> No.11811755

>>11811748
Nothing stochastic in hardening an anon with fire.

>> No.11811758

>>11807187
Chris McMullen's
Algebra Essentials Practice Workbook with Answers

>> No.11811765
File: 88 KB, 1280x720, Tibees.jpg [View same] [iqdb] [saucenao] [google]
11811765

How does one get a math GF?

>> No.11811781

>>11811765
install gentoo

>> No.11811794

>>11811765
You become the gf and join my harem.

>> No.11811798

These threads are moving way too fast these days, stop shitposting so much friends

>> No.11811815

>>11811798
No we need /mg/ on the front page all the time.

>> No.11811827

>>11811765
i thought shes a physics dropout

>> No.11811832

>>11811827
she is, I knew her irl
I heard these guys she hung out with unironically discussing reddit, I just couldn't watch her youtube videos after that

>> No.11811838

>>11811832
As opposed to ironically discussing reddit?

>> No.11811844

>>11811832
>guys she hung out with unironically discussing redd
That's like 95% of the "nerdy" college guys.

>> No.11811845

>>11811832
i mean if she's trying to do the whole multi-social media thing then fair enough, gotta get them jugularwhiskered followers somehow

>>11811838
yes

>> No.11811850

>Blonde hair, blue eyed math major
Tibees is /ourgirl/.

>> No.11811852
File: 65 KB, 281x281, 1592165319627.png [View same] [iqdb] [saucenao] [google]
11811852

>>11811850
How is that special? Everyone here has blonde hair and blue eyes, right?

>> No.11811859

>>11811852
I have brown hair and hazel/green eyes. Is my /mg/ membership stripped?

>> No.11811860 [DELETED] 
File: 308 KB, 450x627, __remilia_scarlet_touhou_drawn_by_yuki_popopo__2b1ba810cabefdb086c7898e110c9f24.png [View same] [iqdb] [saucenao] [google]
11811860

>>11811852
Actually, I'm black.

>> No.11811861

>>11811860
Hello, based department?

>> No.11811864

>>11811844
Even if it were popular to shit yourself in public I'd still look down on people for doing so

>> No.11811871
File: 22 KB, 490x470, a05ha.jpg [View same] [iqdb] [saucenao] [google]
11811871

>>11811859
We thank you for your interest in this position, but sadly our choice this time was not you. Better luck next time.

>>11811860
Nice!

>> No.11811880

>>11811852
Not everyone lives in a Slavic shithole.
And by Slavic shithole I mean the beautiful cities that are not the disgusting piles of shit you find here.

Also, I have red hair, but I thankfully am, verifiably a third generation Holocaust perpetrator, so hopefully I will not get booted out.

>> No.11811881

>>11811860
stats major?

>> No.11811885

[math]\tau:A\rightarrow B[/math]

>> No.11811895
File: 61 KB, 1280x720, 9zwey.jpg [View same] [iqdb] [saucenao] [google]
11811895

>>11811880
Quite procto-scatological a post, this one.

>> No.11811902 [DELETED] 
File: 67 KB, 736x1027, 37ccf5afead6a071a8f3d62d6cc97f78--manga-anime-girl-anime-neko.jpg [View same] [iqdb] [saucenao] [google]
11811902

Is /mg/ trans friendly?

>> No.11811915

>>11811902
Yeah welcome aboard. Just put your head in this noose.

>> No.11811972

How do I solve n < lg(n^8)? lg is log on the basis 2.
Thanks frens.

>> No.11811993
File: 90 KB, 744x1050, b1950d20ea115a85de7d6a1c02deb284.jpg [View same] [iqdb] [saucenao] [google]
11811993

>>11811794
This. I did it and I've never been happier!

>> No.11811996

>>11811972
For n>=1 that is.

>> No.11812006

>>11811827
Phd dropout.
>>11811832
>autism
>>11811781
based

>> No.11812095

>>11811996
You don't solve it for n=1, my friend.

>> No.11812118

>>11812095
Shouldn't the solution be a range? If I plot it I can see it it is approximately (1.1, +infinity).

>> No.11812127

>>11812118
What is any logarithm of 1? Compare that with 1.

>> No.11812133

>>11812127
>What is any logarithm of 1?
0
>Compare that with 1.
wat?

>> No.11812140

>>11812133
1 < 0? Don't use n=1.

>> No.11812142

>>11812140
i think i'm being meme'd™

>> No.11812151

>>11812142
Please do explain how 1 < lg(1).

>> No.11812164

>>11811895
Quite confusing post, this one.

>> No.11812168

>>11812151
It is not. How does this information give me the range (1.1, +infinity)?

>> No.11812170

>>11812168
I told you you don't have n=1, learn to read.

>> No.11812174

>>11812170
Are you implying 1.1 is the largest number larger than 1?
Are you by any chance Indian?

>> No.11812189

>>11812174
What? Read >>11811996 and stop breathing. You should just give up.

>> No.11812198

>>11812189
What is the range of numbers n, with n>=1, that satisfies n < log2 (n^8) ?

>> No.11812228

>the absolute state of /mg/

>> No.11812285
File: 772 KB, 274x274, 1591556366-0.gif [View same] [iqdb] [saucenao] [google]
11812285

>>11811794
Do not listen to this anon.

Join my harem instead, it's much more comfy.

>> No.11812294

>>11812285
>Join my harem instead, it's much more comfy.
Cute picture. I'm sold.
I DM'ed you my address, please start sending my HRT.

>> No.11812296

>>11806627
hi /mg/
What are the best books about statistics and probability theory

>> No.11812302
File: 41 KB, 680x535, 89btn.jpg [View same] [iqdb] [saucenao] [google]
11812302

>>11812164
It had shit & hole in it, so it is both a post of scatology and proctology.

>> No.11812317

>>11812302
Maybe we should all go to sleep?

>> No.11812322

>>11812296
DeGroot

>> No.11812333
File: 148 KB, 340x340, 1590520901786.gif [View same] [iqdb] [saucenao] [google]
11812333

>>11812317
Yeah, probably. I've been awake for 23 hours now and it's starting to show. Waking up at midnightish hours leads to laughing at pee & poo.

>> No.11812343

>>11812333
Pee pee poo poo haha

>> No.11812354

>>11812343
Literally me.

>> No.11812662

Is the interior of the cone of positive operators on a Hilbert space just the cone of strictly positive operators? I don't see an obvious proof that the sets are exactly the same.

>> No.11812665
File: 9 KB, 190x265, 1584320710597.jpg [View same] [iqdb] [saucenao] [google]
11812665

>>11812285
I'm willing to switch given the cute picture <>w<>

>> No.11812748

>>11811720
>>11811728
It's a hard to realize the nice animeposters are nazis

>> No.11812787

New thread >>11812784

>> No.11813251

>>11812787
[math]\emptyset\omega\emptyset[/math]