[ 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: 260 KB, 640x480, 1519603389989.png [View same] [iqdb] [saucenao] [google]
9604727 No.9604727 [Reply] [Original]

What kind of math are you studying, /mg/?

>> No.9604779
File: 271 KB, 645x1260, tfwhanging.png [View same] [iqdb] [saucenao] [google]
9604779

>tfw want to finally understand Stokes' theorem but the prerequisites are high-level topology and I have no idea where to learn all that since all proofs online are either dumbed down physishit trash or doesn't prove important lemmas

>> No.9604810
File: 13 KB, 256x256, 1d1579b0.jpg [View same] [iqdb] [saucenao] [google]
9604810

>>9604779
If you really want to understand it, you pick a book up and start reading.

>> No.9604815

>>9604810
Which book, you dumb fucking supid weeb? The /sci/ sticky is a laughable meme as always.

>> No.9604823
File: 65 KB, 615x624, 1519417189285.jpg [View same] [iqdb] [saucenao] [google]
9604823

>>9604815
Find out what you don't know but need to know, then google stuff like
>good textbook [subject name here]
and also try to behave. You made me cry.

>> No.9604831

>>9604823
>google stuff like
>>good textbook [subject name here]
L M F A O

>> No.9604834

>>9604831
>L M F A O
cringe

>> No.9604836

>>9604831
It's pretty good advice. Also google "[subject name] reference".

>> No.9604838
File: 63 KB, 325x532, 1520291021908.jpg [View same] [iqdb] [saucenao] [google]
9604838

>>9604831
Don't talk to me, you meanie.

>> No.9604878

>>9604727
Arithmetic on Khan Academy

>> No.9604895
File: 471 KB, 466x842, [HorribleSubs] Amanchu! - 06 [1080p].mkv_snapshot_08.39_[2016.08.12_17.16.20].png [View same] [iqdb] [saucenao] [google]
9604895

>>9602651
Depends on the gauge group [math]G[/math] as well as the manifold [math]M[/math] (obviously). In general the local tangent space [math]T_\alpha \mathcal{A}[/math] can always be constructed, but the difficulty comes when you try to patch together the locally-defined measures, and this requires compactification of the moduli space (unless you don't care about convergence).
The main point is that if your homotopy quotient [math]M \times_G G[/math] is nice enough (i.e. vanishing odd-degree cohomology or a stabilizing Leray spectral sequence), then you the path integration becomes just the equivariant fibre integration, and the stationary phase approximation works via Deligne-Verne. In some cases if the Thom class is trivial you can even identify the path integral with the Euler characterisitc.

>> No.9604905

>>9604895
My bad, the homotopy quotient is [math]M \times_G EG[/math] where [math]EG\rightarrow BG[/math] is the classifying [math]G[/math]-bundle.

>> No.9604953

https://ncatlab.org/nlab/show/(infinity%2C1)-topos

What are the prerequisites necessary to understand this article

>> No.9604963
File: 7 KB, 684x237, 4.png [View same] [iqdb] [saucenao] [google]
9604963

Is it worth memorizing n choose k values?

>> No.9604967

>>9604963
No, undrestand the difference between combinations and permutations though.

>> No.9604968

>>9604727
Basic Mathematics by Serge Lang, along with G Chrystal's Algebra texts. Glad to be part of this intellectual general. I just got to surds.

>> No.9604976

>>9604967
Sure, I've already got that down.

I just think it might comfy to be able to expand powers of binomials quickly and without having to draw one of those meme triangles.

>> No.9604978

>>9604976
Why?

>> No.9605044

where do y'all go when you want to look at futanari porn?

>> No.9605064

Doing group theory, on quotient groups atm. It's ok. When does the really cool stuff start though?

>> No.9605065
File: 77 KB, 787x357, 2018-02-20-22-18-33_scrot.png [View same] [iqdb] [saucenao] [google]
9605065

Are there any professors in /mg/. My linear algebra professor from last semester seems like the kind of guy that would post here (he had a Ph.D. in math and an anime girl desktop background on his laptop).

>> No.9605076

>>9604834
>cringe
cringe

>> No.9605081

>>9605065
Not a prof but I feel like most people in math are on 4chan, we're a fucked up breed.

>> No.9605168
File: 51 KB, 324x499, FE80E056-C9B7-44C5-A5E6-88D41B8C228B.jpg [View same] [iqdb] [saucenao] [google]
9605168

>>9604779
hello there

>> No.9605199
File: 43 KB, 334x499, 51b6KE7bRtL._SX332_BO1,204,203,200_.jpg [View same] [iqdb] [saucenao] [google]
9605199

Starting this book. I've heard good things about it (from other physics shitters)

>> No.9605285

>>9605199
It's good if you want good visual examples from differential geometry, but unecesarry for full blow diff geo in manifolds. Do it if you have the time, but don't lose a lot of time if your goal is riemannian geometry

>> No.9605288

>>9604968
Nice find on Chrystal.

>> No.9605290

>>9604968
>Serge Lang
>intellectual

>> No.9605291

>>9605199

>> No.9605373
File: 112 KB, 1644x1370, 1514244105793.png [View same] [iqdb] [saucenao] [google]
9605373

>>9604727
This is a common question but if I want to learn math from the beginning (not counting or arithmetic) do I read the books assigned in the sticky or can I do Khan Academy instead? And to what level, most people recommend Khan Academy up until precalc then read a proofs book and understand mathematical logic, then jump into single variable calculus, linear algebra and then multivariate calculus.

>> No.9605386

>>9605373
>This is a common question but if I want to learn math from the beginning (not counting or arithmetic) do I read the books assigned in the sticky or can I do Khan Academy instead?
High School:
• Euclidean geometry, complex numbers, scalar multiplication, Cauchy-Bunyakovskii inequality. Introduction to quantum mechanics (Kostrikin-Manin). Groups of transformations of a plane and space. Derivation of trigonometric identities. Geometry on the upper half-plane (Lobachevsky). Properties of inversion. The action of fractional-linear transformations.
• Rings, fields. Linear algebra, finite groups, Galois theory. Proof of Abel's theorem. Basis, rank, determinants, classical Lie groups. Dedekind cuts. Construction of real and complex numbers. Definition of the tensor product of vector spaces.
• Set theory. Zorn's lemma. Completely ordered sets. Cauchy-Hamel basis. Cantor-Bernstein theorem.
• Metric spaces. Set-theoretic topology (definition of continuous mappings, compactness, proper mappings). Definition of compactness in terms of convergent sequences for spaces with a countable base. Homotopy, fundamental group, homotopy equivalence.
• p-adic numbers, Ostrovsky's theorem, multiplication and division of p-adic numbers by hand.
• Differentiation, integration, Newton-Leibniz formula. Delta-epsilon formalism.

>> No.9605387

>>9605386
Freshman:
• Analysis in R^n. Differential of a mapping. Contraction mapping lemma. Implicit function theorem. The Riemann-Lebesgue integral. ("Analysis" by Laurent Schwartz, "Analysis" by Zorich, "Theorems and Problems in Functional Analysis" by Kirillov-Gvishiani)
• Hilbert spaces, Banach spaces (definition). The existence of a basis in a Hilbert space. Continuous and discontinuous linear operators. Continuity criteria. Examples of compact operators. ("Analysis" by Laurent Schwartz, "Analysis" by Zorich, "Theorems and Problems in Functional Analysis" by Kirillov-Gvishiani)
• Smooth manifolds, submersions, immersions, Sard's theorem. The partition of unity. Differential topology (Milnor-Wallace). Transversality. Degree of mapping as a topological invariant.
• Differential forms, the de Rham operator, the Stokes theorem, the Maxwell equation of the electromagnetic field. The Gauss-Ostrogradsky theorem as a particular example.
• Complex analysis of one variable (according to the book of Henri Cartan or the first volume of Shabat). Contour integrals, Cauchy's formula, Riemann's theorem on mappings from any simply-connected subset C to a circle, the extension theorem, Little Picard Theorem. Multivalued functions (for example, the logarithm).
• The theory of categories, definition, functors, equivalences, adjoint functors (Mac Lane, Categories for the working mathematician, Gelfand-Manin, first chapter).
• Groups and Lie algebras. Lie groups. Lie algebras as their linearizations. Universal enveloping algebra, Poincaré-Birkhoff-Witt theorem. Free Lie algebras. The Campbell-Hausdorff series and the construction of a Lie group by its algebra (yellow Serre, first half).

>> No.9605389

>>9605387
Sophomore:
• Algebraic topology (Fuchs-Fomenko). Cohomology (simplicial, singular, de Rham), their equivalence, Poincaré duality, homotopy groups. Dimension. Fibrations (in the sense of Serre), spectral sequences (Mishchenko, "Vector bundles ...").
• Computation of the cohomology of classical Lie groups and projective spaces.
• Vector bundles, connectivity, Gauss-Bonnet formula, Euler, Chern, Pontryagin, Stiefel-Whitney classes. Multiplicativity of Chern characteristic. Classifying spaces ("Characteristic Classes", Milnor and Stasheff).
• Differential geometry. The Levi-Civita connection, curvature, algebraic and differential identities of Bianchi. Killing fields. Gaussian curvature of a two-dimensional Riemannian manifold. Cellular decomposition of loop space in terms of geodesics. The Morse theory on loop space (Milnor's Morse Theory and Arthur Besse's Einstein Manifolds). Principal bundles and connections on them.
• Commutative algebra (Atiyah-MacDonald). Noetherian rings, Krull dimension, Nakayama lemma, adic completion, integrally closed, discrete valuation rings. Flat modules, local criterion of flatness.
• The Beginning of Algebraic Geometry. (The first chapter of Hartshorne or Shafarevich or green Mumford). Affine varieties, projective varieties, projective morphisms, the image of a projective variety is projective (via resultants). Sheaves. Zariski topology. Algebraic manifold as a ringed space. Hilbert's Nullstellensatz. Spectrum of a ring.
• Introduction to homological algebra. Ext, Tor groups for modules over a ring, resolvents, projective and injective modules (Atiyah-MacDonald). Construction of injective modules. Grothendieck Duality (from the book Springer Lecture Notes in Math, Grothendieck Duality, numbers 21 and 40).
• Number theory; Local and global fields, discriminant, norm, group of ideal classes (blue book of Cassels and Frohlich).

>> No.9605390

>>9605389
Sophomore (cont):
• Reductive groups, root systems, representations of semisimple groups, weights, Killing form. Groups generated by reflections, their classification. Cohomology of Lie algebras. Computing cohomology in terms of invariant forms. Singular cohomology of a compact Lie group and the cohomology of its algebra. Invariants of classical Lie groups. (Yellow Serre, the second half, Hermann Weyl, "The Classical Groups: Their Invariants and Representations"). Constructions of special Lie groups. Hopf algebras. Quantum groups (definition).

Junior:
• K-theory as a cohomology functor, Bott periodicity, Clifford algebras. Spinors (Atiyah's book "K-Theory" or AS Mishchenko "Vector bundles and their applications"). Spectra. Eilenberg-MacLane Spaces. Infinite loop spaces (according to the book of Switzer or the yellow book of Adams or Adams "Lectures on generalized cohomology", 1972).
• Differential operators, pseudodifferential operators, symbol, elliptic operators. Properties of the Laplace operator. Self-adjoint operators with discrete spectrum. The Green's operator and applications to the Hodge theory on Riemannian manifolds. Quantum mechanics. (R. Wells's book on analysis or Mishchenko "Vector bundles and their application").
• The index formula (Atiyah-Bott-Patodi, Mishchenko), the Riemann-Roch formula. The zeta function of an operator with a discrete spectrum and its asymptotics.
• Homological algebra (Gel'fand-Manin, all chapters except the last chapter). Cohomology of sheaves, derived categories, triangulated categories, derived functor, spectral sequence of a double complex. The composition of triangulated functors and the corresponding spectral sequence. Verdier's duality. The formalism of the six functors and the perverse sheaves.

>> No.9605391

>>9605386
>>9605387
>>9605389
If you're serious, how long would this take?

>> No.9605392

>>9605390
Junior (cont):
• Algebraic geometry of schemes, schemes over a ring, projective spectra, derivatives of a function, Serre duality, coherent sheaves, base change. Proper and separable schemes, a valuation criterion for properness and separability (Hartshorne). Functors, representability, moduli spaces. Direct and inverse images of sheaves, higher direct images. With proper mapping, higher direct images are coherent.
• Cohomological methods in algebraic geometry, semicontinuity of cohomology, Zariski's connectedness theorem, Stein factorization.
• Kähler manifolds, Lefschetz's theorem, Hodge theory, Kodaira's relations, properties of the Laplace operator (chapter zero of Griffiths-Harris, is clearly presented in the book by André Weil, "Kähler manifolds"). Hermitian bundles. Line bundles and their curvature. Line bundles with positive curvature. Kodaira-Nakano's theorem on the vanishing of cohomology (Griffiths-Harris).
• Holonomy, the Ambrose-Singer theorem, special holonomies, the classification of holonomies, Calabi-Yau manifolds, Hyperkähler manifolds, the Calabi-Yau theorem.
• Spinors on manifolds, Dirac operator, Ricci curvature, Weizenbeck-Lichnerovich formula, Bochner's theorem. Bogomolov's theorem on the decomposition of manifolds with zero canonical class (Arthur Besse, "Einstein varieties").
• Tate cohomology and class field theory (Cassels-Fröhlich, blue book). Calculation of the quotient group of a Galois group of a number field by the commutator. The Brauer Group and its applications.
• Ergodic theory. Ergodicity of billiards.
• Complex curves, pseudoconformal mappings, Teichmüller spaces, Ahlfors-Bers theory (according to Ahlfors's thin book).

>> No.9605393

>>9605392
Senior:
• Rational and profinite homotopy type. The nerve of the etale covering of the cellular space is homotopically equivalent to its profinite type. Topological definition of etale cohomology. Action of the Galois group on the profinite homotopy type (Sullivan, "Geometric topology").
• Etale cohomology in algebraic geometry, comparison functor, Henselian rings, geometric points. Base change. Any smooth manifold over a field locally in the etale topology is isomorphic to A^n. The etale fundamental group (Milne, Danilov's review from VINITI and SGA 4 1/2, Deligne's first article).
• Elliptic curves, j-invariant, automorphic forms, Taniyama-Weil conjecture and its applications to number theory (Fermat's theorem).
• Rational homotopies (according to the last chapter of Gel'fand-Manin's book or Griffiths-Morgan-Long-Sullivan's article). Massey operations and rational homotopy type. Vanishing Massey operations on a Kahler manifold.
• Chevalley groups, their generators and relations (according to Steinberg's book). Calculation of the group K_2 from the field (Milnor, Algebraic K-Theory).
• Quillen's algebraic K-theory, BGL^+ and Q-construction (Suslin's review in the 25th volume of VINITI, Quillen's lectures - Lecture Notes in Math. 341).
• Complex analytic manifolds, coherent sheaves, Oka's coherence theorem, Hilbert's nullstellensatz for ideals in a sheaf of holomorphic functions. Noetherian ring of germs of holomorphic functions, Weierstrass's theorem on division, Weierstrass's preparation theorem. The Branched Cover Theorem. The Grauert-Remmert theorem (the image of a compact analytic space under a holomorphic morphism is analytic). Hartogs' theorem on the extension of an analytic function. The multidimensional Cauchy formula and its applications (the uniform limit of holomorphic functions is holomorphic).

>> No.9605395

>>9605393
Specialist: (Fifth year of College):
• The Kodaira-Spencer theory. Deformations of the manifold and solutions of the Maurer-Cartan equation. Maurer-Cartan solvability and Massey operations on the DG-Lie algebra of the cohomology of vector fields. The moduli spaces and their finite dimensionality (see Kontsevich's lectures, or Kodaira's collected works). Bogomolov-Tian-Todorov theorem on deformations of Calabi-Yau.
• Symplectic reduction. The momentum map. The Kempf-Ness theorem.
• Deformations of coherent sheaves and fiber bundles in algebraic geometry. Geometric theory of invariants. The moduli space of bundles on a curve. Stability. The compactifications of Uhlenbeck, Gieseker and Maruyama. The geometric theory of invariants is symplectic reduction (the third edition of Mumford's Geometric Invariant Theory, applications of Francis Kirwan).
• Instantons in four-dimensional geometry. Donaldson's theory. Donaldson's Invariants. Instantons on Kähler surfaces.
• Geometry of complex surfaces. Classification of Kodaira, Kähler and non-Kähler surfaces, Hilbert scheme of points on a surface. The criterion of Castelnuovo-Enriques, the Riemann-Roch formula, the Bogomolov-Miyaoka-Yau inequality. Relations between the numerical invariants of the surface. Elliptic surfaces, Kummer surface, surfaces of type K3 and Enriques.
• Elements of the Mori program: the Kawamata-Viehweg vanishing theorem, theorems on base point freeness, Mori's Cone Theorem (Clemens-Kollar-Mori, "Higher dimensional complex geometry" plus the not translated Kollar-Mori and Kawamata-Matsuki-Masuda).
• Stable bundles as instantons. Yang-Mills equation on a Kahler manifold. The Donaldson-Uhlenbeck-Yau theorem on Yang-Mills metrics on a stable bundle. Its interpretation in terms of symplectic reduction. Stable bundles and instantons on hyper-Kähler manifolds; An explicit solution of the Maurer-Cartan equation in terms of the Green operator.

>> No.9605396

>>9605395
Specialist (cont):
• Pseudoholomorphic curves on a symplectic manifold. Gromov-Witten invariants. Quantum cohomology. Mirror hypothesis and its interpretation. The structure of the symplectomorphism group (according to the article of Kontsevich-Manin, Polterovich's book "Symplectic geometry", the green book on pseudoholomorphic curves and lecture notes by McDuff and Salamon)
• Complex spinors, the Seiberg-Witten equation, Seiberg-Witten invariants. Why the Seiberg-Witten invariants are equal to the Gromov-Witten invariants.
• Hyperkähler reduction. Flat bundles and the Yang-Mills equation. Hyperkähler structure on the moduli space of flat bundles (Hitchin-Simpson).
• Mixed Hodge structures. Mixed Hodge structures on the cohomology of an algebraic variety. Mixed Hodge structures on the Maltsev completion of the fundamental group. Variations of mixed Hodge structures. The nilpotent orbit theorem. The SL(2)-orbit theorem. Closed and vanishing cycles. The exact sequence of Clemens-Schmid (Griffiths red book "Transcendental methods in algebraic geometry").
• Non-Abelian Hodge theory. Variations of Hodge structures as fixed points of C^*-actions on the moduli space of Higgs bundles (Simpson's thesis).
• Weil conjectures and their proof. l-adic sheaves, perverse sheaves, Frobenius automorphism, weights, the purity theorem (Beilinson, Bernstein, Deligne, plus Deligne, Weil conjectures II)
• The quantitative algebraic topology of Gromov, (Gromov "Metric structures for Riemannian and non-Riemannian spaces"). Gromov-Hausdorff metric, the precompactness of a set of metric spaces, hyperbolic manifolds and hyperbolic groups, harmonic mappings into hyperbolic spaces, the proof of Mostow's rigidity theorem (two compact Kählerian manifolds covered by the same symmetric space X of negative curvature are isometric if their fundamental groups are isomorphic, and dim X> 1).
• Varieties of general type, Kobayashi and Bergman metrics, analytic rigidity (Siu)

>> No.9605397
File: 271 KB, 775x1099, image.jpg [View same] [iqdb] [saucenao] [google]
9605397

>>9605395
Stop posting that garbage analcyst curriculum

>> No.9605402

I haven't read a math book for almost 1 month /mg/. Please suggest a mathematical way to kill myself. Thanks.

>> No.9605406

>>9605402
Read a physics book

>> No.9605411

>>9605406
That would indeed be a cruel way to die

>> No.9605442
File: 12 KB, 1045x80, 77f.png [View same] [iqdb] [saucenao] [google]
9605442

How can I work out pic related? I've got the normal vector field, but what else do I need for GC?

>> No.9605450

>>9605168
This.
This.
This.

>> No.9605542 [DELETED] 

>>9605442
Iff the tangent plane at (0,0,0) intersects the surface in every neighbourhood of the point then the Gaussian Curvature is negative.

>> No.9605686
File: 8 KB, 200x226, 6b7.png [View same] [iqdb] [saucenao] [google]
9605686

you know that it's international give mercy to a brainlet day, right?
>>9605685
p-please.

>> No.9605695

>>9605064
quotient objects are the coolest things breh

>> No.9605704
File: 72 KB, 1280x720, 1514583113671.jpg [View same] [iqdb] [saucenao] [google]
9605704

>>9605386
>>9605387
>>9605389
>>9605390
>>9605392
>>9605393
>>9605395
>>9605396

This is amazing senpai, but where is combinatorial set theory?

>> No.9605710

>>9604727
Finishing calc 2 so improper integrals, trig substitution and simple fraccion separation.

>> No.9605738
File: 11 KB, 220x291, langlands.jpg [View same] [iqdb] [saucenao] [google]
9605738

http://www.abelprisen.no/seksjon/vis.html?tid=73018

>> No.9605747

>Formally, given any five points in the plane in general linear position, meaning no three collinear, there is a unique conic passing through them, which will be non-degenerate;
>which will be non-degenerate
why?

>> No.9605760
File: 100 KB, 404x500, 3456945563_a9b52c43b4.jpg [View same] [iqdb] [saucenao] [google]
9605760

>>9605747
What are degenerate conics? For example a single point is one, but that can't happen because you have five distinct points (due to non-colinearity). Similarly, you could have a line which is also degenerate as a conic, but then you would have five (and thus any three) points be colinear. Think of the other degenerate cases through.

>> No.9605806

>>9605391
this shit get's posted everytime someone asks for academic advice and it's unreasonable and frankly unnecessary. Going through this rigorous of an outline for years straight at such an early age will kill someone. Assuming the freshman - senior correspond to undergraduate standings, no one is learning such a clusterfuck of topics when they're 18.

>> No.9605811

>>9605064
When you take a second course.

>> No.9605918

>>9605064
What is a quotient group to you?

>> No.9605973
File: 67 KB, 385x367, 1491600963614.png [View same] [iqdb] [saucenao] [google]
9605973

>>9605747
>Formally,

>> No.9605980

>>9605806
>Going through this rigorous of an outline for years straight at such an early age will kill someone.
A literal retard spotted.

>> No.9606001

>>9605973
Sometimes you explain a concept inuitevly, or give an idea and then you give a more mathematical definition, you fucking autist.

>> No.9606038
File: 117 KB, 1280x720, 1491219003076.jpg [View same] [iqdb] [saucenao] [google]
9606038

>>9606001
Never seen such a thing. Any good definition is already "intuitive" and self-explanatory. Assuming you aren't brain-dead, of course.

>> No.9606053

>>9606038
Wow you are so smart and cool. Is anime your secret?

>> No.9606072
File: 610 KB, 666x720, 1494141705122.png [View same] [iqdb] [saucenao] [google]
9606072

>>9606053
>you are so smart
If you think that someone who is merely not retarded qualifies as being smart, then I have bad news for you. I don't think it's impressive. It would be sad if it was.
>and cool
Thank you.
>Is anime your secret?
It's mainly not visiting websites such as "reddit.com", "facebook.com" and the likes.

>> No.9606074

>>9606072
Oh, so it's the autism.

>> No.9606077
File: 155 KB, 600x320, math general.jpg [View same] [iqdb] [saucenao] [google]
9606077

Who ENS here?

>> No.9606082

>>9606053
What the fuck is your problem? Your kind is not wanted here, you fucking simpleton.

>> No.9606094
File: 701 KB, 1000x1000, 1520281728609.jpg [View same] [iqdb] [saucenao] [google]
9606094

>>9606082
Oh sorry I forgot my HILARIOUD animr pic and my cliche snarky remark
>mfw physicits don't even know delta-epsilon

>> No.9606101

>>9606094
>2hu
>animr
You reek of >>>/r/eddit/ and >>>/v/. We don't like your kind around here.

>> No.9606104

>>9606094
>>mfw physicits don't even know delta-epsilon
Who are you quoting?

>> No.9606107

>>9606077
Is this a new meme?

>> No.9606110

>>9606101
Or maybe you should fuck off to /jp/ for falling in such retarded bait.

>> No.9606116

>>9606074
Pretending to be retarded is just being retarded. You are not welcome anywhere outside of >>>/v/.

>> No.9606119

>>9606110
Refer to >>9606116

>> No.9606127
File: 388 KB, 2560x1440, 1507414326512.png [View same] [iqdb] [saucenao] [google]
9606127

>>9606001
Sounds like an IQ problem, sorry.

>> No.9606133

I'm studying algebra one, course I have adhd and never learned math when I was in school.

>> No.9606152

>>9605442
The componentd if the first fundamental form. Find a parametric representation of your tangent plane at every point if the surface and plug and chug.

>> No.9606186

I memorized the definition of a manifold, but I still have no clue what it is. I can't envision the difference between a manifold and a non-manifold

>> No.9606187

>>9604727
Just signed up for a minor in Computational Mathematics. I've already taken diff eq, just gotta take:
>Linear Algebra
>Applied Numerical Methods
And I get to choose two of:
>Intro to Finite Element Method
>Numerical Linear Algebra
>Advanced Applied Numerical Methods
>Stochastic Simulation

What electives do you nerds recommend I take? (I am in mechanical engineering)

>> No.9606191

>>9606187
Why do you think that your question is appropriate for this thread? Ask in the engineering threads.

>> No.9606203

>>9605918
Well I'm 3/4 through the chapter, will fully flesh out the stuff about defining the coset operation by choosing a normal subgroup today. My understanding is a quotient group is just a group we get by defining an operation between the fibres of some homomorphism between groups.

>> No.9606233

>>9606191
Gee, I dunno, I'm asking about mathematics courses. This seems like a pretty good place for that.

>> No.9606240

>>9606233
None of the things on your list is even remotely related to mathematics.

>> No.9606244

>>9606187
Switch major to Math then take Real Analysis, Topology, and Probability in the same semester

>> No.9606245

>>9606233
>I'm asking about mathematics courses
Can you point me to the so-called "mathematics courses" in your post? I don't see any.

>> No.9606248

>>9606244
>Real Analysis
>Probability
Those are engineer courses, why would he need to switch majors to take them?
>Topology
I'm assuming you mean point-set garbage. That's also an engineering course.

>> No.9606249
File: 26 KB, 1024x534, Yoneda_lemma_cd.svg.png [View same] [iqdb] [saucenao] [google]
9606249

>>9606233
welcome to /mg/. it's not math if it's not arrows.

>> No.9606252

>>9606248
>everything is engineering

>> No.9606258

>>9606252
Everything which is engineering is engineering. Correct.

>> No.9606265

>>9606249
Everything is arrows, even engineering.

>> No.9606290
File: 27 KB, 331x499, 41uNCmUWtbL._SX329_BO1,204,203,200_.jpg [View same] [iqdb] [saucenao] [google]
9606290

>>9604727
Thumbing through pic related atm.

>> No.9606303
File: 521 KB, 788x739, 4444.png [View same] [iqdb] [saucenao] [google]
9606303

>>9606094
So it was a buttmad physishit, who would've thought.

>> No.9606357
File: 51 KB, 1280x720, 2367474.jpg [View same] [iqdb] [saucenao] [google]
9606357

My economist sister aced her probability exam. It seems my superior intellect radiates itself onto people around me. What I touch turns to gold, where I walk flowers start growing through the snow layer. I am divine.

>> No.9606386

>>9606357
To be fair, you don't have to be very intelligent to ace exams in subjects such as "probability" where you can simply make shit up as you go along.

>> No.9606452
File: 125 KB, 821x533, pic.jpg [View same] [iqdb] [saucenao] [google]
9606452

What should I read to start understanding this?

>> No.9606455
File: 7 KB, 295x299, summer00practice.jpg [View same] [iqdb] [saucenao] [google]
9606455

>>9605738
>http://www.abelprisen.no/seksjon/vis.html?tid=73018
Based.

>> No.9606459

>>9606233
>mathematics courses
No such thing.

>> No.9606523

>>9606452
What do you know already?

>> No.9606529
File: 181 KB, 500x280, 463346.gif [View same] [iqdb] [saucenao] [google]
9606529

>>9606386
But she's not intelligent.

>> No.9606644
File: 56 KB, 645x729, rr.png [View same] [iqdb] [saucenao] [google]
9606644

Wew.

Just realised, the area of a circle makes complete intuitive sense when it's described as:

[math]\frac{1}{2}cr[/math]

[math]\pi r^2[/math] makes no intuitive sense at all.

>> No.9606649

>>9606644
Thinking it makes any difference what you call certain constants is what makes you an actual brainlet.

>> No.9606654
File: 106 KB, 1000x1189, 1486037095830.png [View same] [iqdb] [saucenao] [google]
9606654

>>9606649
Smart people see beauty in tau and ugliness in pi.

>> No.9606676

does it take long to learn latex? is it difficult?

>> No.9606681
File: 219 KB, 361x426, 1513874046821.png [View same] [iqdb] [saucenao] [google]
9606681

>>9606654
Truly smart people see ugliness in any number.

>> No.9606685
File: 58 KB, 216x300, 1516473861171.png [View same] [iqdb] [saucenao] [google]
9606685

>>9606681
Amen.

>>9606676
[math]\neg\text{yes} \land \neg\text{yes}[/math]

>> No.9606686

>>9606676
Not that long. Condom companies seem to be good at it, so it's probably not too difficult.

>> No.9606691

>>9606686
reddit tier joke

>> No.9606695

>>9606691
It's not a joke, it's an answer to an off-topic question about latex. Tiers as in video games? I don't play those.

>> No.9606700

>>9606452
algebraic number theory, basic complex geometry, basic intersection theory
Then again, not sure why you would want to if you don't even understand what it's about

>> No.9606705

>>9606691
I chuckled regardless.

>> No.9606760

>>9604976
computational tasks should always be done via computer. save the space in your head for proof and concept.

>> No.9606769

>>9606760
>proof and concept
Clearly such things don't matter to someone who would even consider asking such a question.

>> No.9606825

>>9606769
maybe its just some undergrad with no experience. i try to give idiot questions the benefit of the doubt

>> No.9607033

What's a fun book to read for an undergrad? I've kinda stopped reading books and I'd like to read something fun that may help me on the future. Any recommendations? Been thinking on Abott's Understanding Analysis.

>>9606676
nah man. it's pretty intuitive honestly. Want to write a fraction? there's \frac{}{}. Want to make a cute little triangle ABC? you do \triangle ABC. P implies Q you mean? Fucking P \implies Q.

The structure is kinda weird to understand though. Just steal templates on internet.

>> No.9607061

>>9604895
So if we are constructing tangent spaces, this implies the moduli space is more than just a topological space right?

It has some type of analytic or algebraic structure?

>> No.9607098

>>9605704
They don't like set theory here because the post is more about math that sounds hard.
I'm missing finite-dimensional algebras and quantum groups.

>> No.9607108
File: 58 KB, 658x523, kkj.jpg [View same] [iqdb] [saucenao] [google]
9607108

>>9606760
>>9606769
Wow rude. You guys are mean. I'm going back to /pol/.

>> No.9607127

>>9606186
Just imagine a space that looks locally (but not necessarily globally) like the familiar n-space and that is not too large (second countability). Like a surface, an open ball, or an n-sphere.
These are the topological objects that still look "geometrical" (vaguely spoken).

>> No.9607136

>>9607098
Correction - just found the quantum groups.

>> No.9607142
File: 17 KB, 300x300, TRINITY____+____9yhbi9t9073t932638p.jpg [View same] [iqdb] [saucenao] [google]
9607142

>what kind
transfinite analysis mostly

>> No.9607193

>>9604895
>Leray spectral sequence
Do you mean Leray spectrum? That's what we deep mathematical physisicts use.

>> No.9607275

>>9606186
Just think of a paracompact space with countable basis that is locally like R^n

>> No.9607284

>>9607033
Pinter's Abstract algebra

>> No.9607300

Any good PDFs on the legandre transform, geometric interpretation and applications? Basically I just don't understand how do you get a symplectic structure from it.
>hurr durr physics faggot gtfo
I'm interested in a pure mathematics perspective.

>> No.9607391

>>9607300
>legandre transform, geometric interpretation and applications
Didn't even read your post. Ask in the physics threads over at >>>/toy/ and >>>/sci/phg/.

>> No.9607397

>>9606248
>>9606258
>ahahahaahh im a stupid algebwaist feed me eqwuals signs
Fuck off, kid

>> No.9607416
File: 221 KB, 450x500, a1e8970c.png [View same] [iqdb] [saucenao] [google]
9607416

>>9607397
Boohoo ż'œş math is exact and not just a chain of inequality signs between integers!

>> No.9607417

>>9607391
Epic my dude.

>> No.9607419

>>9607416
>integers
Integrals*, silly me~<3

>> No.9607461
File: 262 KB, 322x504, [Asenshi] Amanchu! - 04 [7E6CC4F1].mkv_snapshot_00.15_[2016.08.01_00.06.35].png [View same] [iqdb] [saucenao] [google]
9607461

>>9607061
>So if we are constructing tangent spaces, this implies the moduli space is more than just a topological space right?
Yes. It's an infinite-dimensional vector bundle. Regarding what I said before about Euler characteristics, in certain cases the Yang-Mills path integral is a generalization of the Euler characteristics to infinite-dimensions via Mathai-Quillen.
>It has some type of analytic or algebraic structure?
Mostly algebraic, from the structure group [math]G[/math]. But if you want to look at matter fields coupled with the gauge fields then you'd need a lot more analytic structure (Swieca regularity, say) for a well-defined QFT.

>> No.9607484

>>9607397
>eqwuals signs
We don't use those in mathematics, we use [math]\cong[/math].

>> No.9607486

>>9607484
>mathematics
This is not well-defined.

>> No.9607506

>>9607486
>This is not well-defined.
This is not well-defined.

>> No.9607510

>>9606676
sharelatex.com has a built in compiler, an amazing tutorial and every resource you need.
Its simple af, just learned yesterday in 10 mins and already submitted a paper using it.

>> No.9607518

>>9607417
>Epic
>my dude
We don't accept refugees from >>>/v/ here.

>> No.9607524

>>9607518
Shillax my men, I'm just busting his balls a bit. Don't be so square.

>> No.9607528

>>9607524
We don't speak your language around here. Return to >>>/v/ with your filthy dialect.

>> No.9607538

>>9607528
Bruuuuh, your gettin all mad for nothing, we all friends here :)

>> No.9607539

>>9607528
>We
Speak for yourself.

>> No.9607570
File: 513 KB, 2000x2068, 2000px-de_template.png [View same] [iqdb] [saucenao] [google]
9607570

is there research being done into new analytical DE methods?

>> No.9607579

>>9607570
Try asking in the physics threads maybe? Why did you decide to post this here?

>> No.9607600

>>9607579
HAHAHAHA XD

>> No.9607669

>>9607600
You might be mentally challenged.

>> No.9607678

>>9607669
You might be a meme loving faggot

>> No.9607688

>>9607678
>faggot
Why the homophobia?

>> No.9607713

>>9604727
Abstract algebra

>> No.9607774
File: 798 KB, 597x757, textbook.png [View same] [iqdb] [saucenao] [google]
9607774

Hi anons, i'm taking a precalc class and I was wondering if someone here could provide me some insight. Most of the class is just trig and the unit circle. I know how to solve the problems fine enough, but unlike Algebra 1-2, I wouldn't say I have gained any deeper understanding or insights of the subjects. How do you gain an intuitive understanding of mathematical principles? At what point in your education would you say you began to "get" things. I have occasional "aha" moments but I feel like largely i'm jut memorizing the identities and the rules to get a solution arbitrarily, with only a fuzzy and vague understanding of why I make each step.
The usual answer I receive is to go over an intro to proofs book, but the one's i've seen all say you should have familiarity and experience with up to "Calculus I" first, and i've never taken a Calculus course before.
Here's the textbook we use for the course If anyone has interest I can probably upload a PDF, i'd appreciate if someone can tell me whether it look quality or not, and also if anyone has any textbooks they do recommend.

>> No.9607777

>>9607774
What's there to "get" about trig and algebra?

>> No.9607784
File: 32 KB, 361x509, problems.png [View same] [iqdb] [saucenao] [google]
9607784

>>9607777
I don't understand what the goal of solving such problems are. I guess what i'm failing to grasp is exactly how these equations apply to real world phenomenon.

>> No.9607796

>>9607784
They don't apply "defacto", it's just to make you comfortable manipulating that, the same way you practice how to solve for x. Personally, if you know the geometric defintion and maybe some basic identities, everything else is just a waste of time, but some old professors think that you need to suffer like they did because you couldn't look up some tedious identity and so you need it to memorize it by heart, but do understand how to apply it to geometrical problems, and if you are asked to learn it for a test, suck it up.

>> No.9607798

>>9606760
Are you retarted? Your brain has more than enough space to store 2.5 petabytes of info, that's 2500000 gb. Remembering 100 values of n choose k would maybe effectively take a mb.

>> No.9607799

>>9607798
It's still retarded.

>> No.9607810

>>9607799
How?

>> No.9607815

>>9607774
Elementary algebra is really just about becoming competent with basic manipulations and applying common rules that apply to various functions. It's sort of an introduction to real functions, but you don't gain much insight at that level. e^x usually doesn't make much sense until you see it in a calculus course for instance.
With trig, you should be able to prove all the identities you could ever want just by manipulating a relatively short list of basic ones, all of which can be derived from euler's formula. But euler's formula doesn't really make sense until you're comfortable with power series functions and their properties, which you usually cover in calculus.
And then you don't "really" understand real functions until you've done real analysis anyway

>> No.9607816

>>9607810
Memorizing n choose k values? What on earth would anyone do that besided pur autism? No, even autistic people memorize much more interesting and applicable shit, and yes that includes minecraft shit names.

>> No.9607819

>>9607815
>you don't "really" understand real functions until you've done with analysis
Jesus christ america.

>> No.9607828

>>9607784
>apply to real world phenomenon
Ask in some other thread and read the thread name before posting.

>> No.9607830

>>9607816
Why? Well firstly, because we can. Secondly, because it's making working equs out much more fluenter. Imagine not remembering trig identities or basic algabraic tricks. Sometimes the best insites come due to the fact that you rely on your memory and good number instincts.

>> No.9607833

>>9607830
>because it's making working equs out much more fluenter.
And why would one need to do so?
>Sometimes the best insites come due to the fact that you rely on your memory and good number instincts.
Perhaps in physics or engineering. But you can fuck off to some other thread if you want to discuss that.

>> No.9607834

>>9607830
Yea, but n choose k values?

>> No.9607838

>>9607828
>reading
Not math

>> No.9607839

>>9607834
Not specifically them but the more the merrier. It's not that you're wasting storage space.

>> No.9607841

>>9607838
Who are you quoting?

>> No.9607843

>>9607833
>But you can fuck off to some other thread if you want to discuss that.
Do you need to swear?

>> No.9607844

>>9607839
You are retarded.

>> No.9607848

>>9607841
>quoting
Not well defined

>> No.9607852

Forcing memes is funny, amirrite reddit?

>> No.9607855

>>9607833
>And why would one need to do so?

Because math is expressed in equs in most cases, and a good mathematician knows how to handle and manipulate them.

>Perhaps in physics or engineering. But you can fuck off to some other thread if you want to discuss that.

So insites in math are not number related?

>> No.9607863

>>9607844
How did you conclude that you fucking monkey?

>> No.9607876

>>9607863
By your post.

>> No.9607878

>>9607852
>amirrite reddit
Your kind isn't welcome here. Refer to >>>/v/.

>> No.9607881

>>9607855
>Because math is expressed in equs in most cases
This is not the case beyond the premises of your high school.
>So insites in math are not number related?
No, since numbers usually don't have anything to do with math.

>> No.9607892

@9607878 (You)
@9607881 (You)
@9607876 (You)
@9607863 (You)
@9607852 (You)
@9607848 (You)
@9607844 (You)
@9607843 (You)
@9607841 (Y(ou)
@9607839 (You)
@9607838 (You)
@9607833 (You)
@9607828 (You)
this is a christian board, please refrain from insults or cursewords. thank you

>> No.9607894

>>9607881
>math
This is not well-defined.

>> No.9607901 [DELETED] 
File: 85 KB, 454x453, 1424092151894.jpg [View same] [iqdb] [saucenao] [google]
9607901

>>9607892
Refrain from existing kid ;)

>> No.9607903

>>9607881
>This is not the case beyond the premises of your high school.
Have you ever seen any of Euler's proofs for infinite series'? Or almost any graph theory related proof? They do have numbers. Math uses abrstactions to skin off the unnecessary parts of an object and mostly we end up with numbers. If you are referring to the fact that most equs have letters instead of numbers in them than go to /h/.

Maybe math does not talk about numbers but one of the ways that it talks about those things is through numbers.

>> No.9607906

>>9607876
I can say the same.

>> No.9607909
File: 19 KB, 225x225, IMG_2260.jpg [View same] [iqdb] [saucenao] [google]
9607909

>>9607901
god i wish I could. Unfortunately matter can't not be created nor or destroyed :/

>> No.9607912

I'm currently studying the advanced intellectual lectures presented by Dr Micheal Vsauce.

>> No.9607914

>>9607903
>Have you ever seen any of Euler's proofs for infinite series'? Or almost any graph theory related proof?
I'm not an engineer, no.
>They do have numbers.
Yeah, engineers tend to use numbers. What point are you trying to make here?
>Math uses abrstactions to skin off the unnecessary parts of an object
Correct. And thus numbers get skinned off and exiled to the physics departments.

>> No.9607916

>>9607909
It can

>> No.9607917

>>9607916
>it can
wrong

>> No.9607918

>>9607901
>>9607909
Refer to >>>/v/ if you want to post reddit frogs.

>> No.9607919

>>9607917
>wrong
Right

>> No.9607926
File: 252 KB, 1000x666, IMG_2235.jpg [View same] [iqdb] [saucenao] [google]
9607926

>>9607919
thanks me as well
>>9607917
don't ever reply to me or my son again, r*dditor

>> No.9607927

>>9607914
>I'm not an engineer, no.
These are math subjects -_-

>Yeah, engineers tend to use numbers. What point are you trying to make here?

THESE ARE MATH SUBJECTS

>Correct. And thus numbers get skinned off and exiled to the physics departments.

The objects are not numbers to begin with, so you don't abstract more than numbers. Also, say I'm skinning off a number, what am I left with?(By numbers I'm aldo referring to letters expressing numbers in equs btw.)

>> No.9607938

>>9607917
Antimatter, Einstein's e=mc^2, the sum of mass of the particles making up an atom is greater than the actual mass of the atom impliying that some of the mass is stored in the energy binding the atom together. These are 3 examples where you are wrong.

>> No.9608092 [DELETED] 
File: 447 KB, 1327x1536, 1517864958538.jpg [View same] [iqdb] [saucenao] [google]
9608092

How do I find the vertices of the smallest enclosing right simplex for an n-dimensional rectangular prism?

Time is of the essence.

>> No.9608094
File: 447 KB, 1327x1536, 1517864958538.jpg [View same] [iqdb] [saucenao] [google]
9608094

How do I find the vertices of the smallest enclosing right simplex for an n-dimensional rectangular prism?

Time is of the essence.

>> No.9608125

>>9607927
>math
This is not well-defined.

>> No.9608229 [DELETED] 
File: 65 KB, 800x729, 8A1E0EE1-3A03-4B55-9AF8-E15072D6FA61.png [View same] [iqdb] [saucenao] [google]
9608229

I have physics for some reason as part of my Computet Engineer degree. That’s okay, but I’ve totally forgotten how to solve some trigonometric equations which is part of one task
It’s like this
[math]
$(0.500 kg)(4.00 m/s) = (0.500 kg)(2.00 m/s)(cos \alpha) + (0.300 kg)(4.47 m/s)(cos \beta)
\\\\
0=(0.500 kg)(2.00 m/s)(sin \alpha) - (0.300 kg)(4.47 m/s)(sin \beta)$
[math]

I know I should isolate cos b and sin b and that cos^2b+sin^2 b=1 but no idea what to do otherwise or get one of the a trig functions isolated after adding up to solve a

>> No.9608230
File: 3.39 MB, 480x480, 30FC2662-C7D0-49E4-AC7F-58EED2D79716.gif [View same] [iqdb] [saucenao] [google]
9608230

I have physics for some reason as part of my Computet Engineer degree. That’s okay, but I’ve totally forgotten how to solve some trigonometric equations which is part of one task
It’s like this
[math]
$(0.500 kg)(4.00 m/s) = (0.500 kg)(2.00 m/s)(cos \alpha) + (0.300 kg)(4.47 m/s)(cos \beta)
\\\\
0=(0.500 kg)(2.00 m/s)(sin \alpha) - (0.300 kg)(4.47 m/s)(sin \beta)$
[/math]

I know I should isolate cos b and sin b and that cos^2b+sin^2 b=1 but no idea what to do otherwise or get one of the a trig functions isolated after adding up to solve a

>> No.9608258

What do I read now I'm almost finished with Spivak's Calculus

>> No.9608271
File: 122 KB, 845x740, 1517820979655.jpg [View same] [iqdb] [saucenao] [google]
9608271

>>9608258
Read >>9606191

>> No.9608282

>>9608271
no

>> No.9608318

What does a "family of subsets of a n-set" mean? A set with n elements or a set where each element has n elements? Google's not helping much.

>> No.9608321
File: 7 KB, 235x214, 1520557916065.png [View same] [iqdb] [saucenao] [google]
9608321

>homework has a question that's supposed to be done via proof by exhaustion for brainlets
>I autistically spent hours trying to prove the statement for all natural numbers

>> No.9608359

>>9608258
what do you wanna learn, more calculus/analysis or algebra? Maybe even topology would be nice

>> No.9608360

>>9608318
depends on the context. I've never heard n-set but it sounds suspiciously like a multiset

>> No.9608385

>>9608360
It's being used in the context of combinatorics here (choice function specifically)

>> No.9608388

I hate this general.

>> No.9608392
File: 19 KB, 189x207, 1519629736086.jpg [View same] [iqdb] [saucenao] [google]
9608392

>>9608388
o-ok...

>> No.9608409

>>9608385
It's definitely sounds like multiset then, but the notation is incredibly ambiguous

>> No.9608414

Folks, I just received a fully funded (tuition+maintenance grant) PhD offer at a top university in algebraic number theory and algebraic geometry!!!

please gz

>> No.9608429

>>9608414
Fuck you.

>> No.9608433
File: 11 KB, 259x206, 1473368561606.jpg [View same] [iqdb] [saucenao] [google]
9608433

>>9608388
I hate you.

>>9608414
Gz [math]^\frown \smile ^\frown[/math]

>> No.9608454
File: 24 KB, 400x400, IMG_1003.gif [View same] [iqdb] [saucenao] [google]
9608454

Hey guys, brainlet here:

So I'm taking my proofs/ logic/ sets class this semester. I think - brainlet although I may be - I may have stumbled upon an entirely overlooked quirk of logic that may prove to destroy the very foundations of mathematics (and quite possibly reality).

So recall x ≥ y ≡ (x > y) v (x = y)
... and by """definition,""" that's the 'inclusive or,' mind you. So essentially the statement above reads "x is greater than or equal to y is identical to saying x is greater than y, x is equal to y, or both x is greater than y and equal to y." Which is obviously false. A number cannot be greater than AND equal to another number. The logical notation should be the 'xor' symbol, but I suppose """mathematicians""" allow greater flexibility for their useless masteurbation by ignoring this obvious quirk and using the 'inclusive or.' How/ why is this overlooked?

>pic-related is related because it's mfw the entire universe of mathematics destroys itself today because I shitposted this proverbial ton of dynamite onto the mathematics section of this obscure Norwegian kite-flying forum

See you faggots in hell.

>> No.9608458

>>9608125
It's the best I've got :(

>> No.9608468

>>9608454
OR is called the disjunction and is defined that way, like an axiom
x,y or both but not neither

>> No.9608474
File: 139 KB, 971x565, 1517857354069.jpg [View same] [iqdb] [saucenao] [google]
9608474

>>9608454
>>9608468

>> No.9608481

>>9608433
I hate you more.

>> No.9608492

>>9608388
>I hate this general.
Why?

>> No.9608510

>>9608481
>I hate you more.
cringe

>> No.9608517
File: 890 KB, 1340x1600, ddlc03.jpg [View same] [iqdb] [saucenao] [google]
9608517

>>9604895
>>9604905
>>9607061
>>9607461
am I a brainlet if I didn't understand a word of what those people said

>> No.9608536

>>9608517
>those people
It's just one guy samefagging.

>> No.9608537

>>9608536
>guy

>> No.9608541

>>9608510
die

>> No.9608546
File: 135 KB, 500x522, 1511854218603.png [View same] [iqdb] [saucenao] [google]
9608546

Do you have to be a prodigy to succeed in mathematics?

>> No.9608547

Sup /sci/, anyone doing complex analysis at the moment? Shit's fun as fuck

>> No.9608548

>>9608546
Nah man, you just gotta work at it pretty much every day.

>> No.9608554
File: 230 KB, 1026x540, Screen Shot 2018-03-21 at 10.27.35 AM.png [View same] [iqdb] [saucenao] [google]
9608554

>>9608536

>> No.9608559

>>9608547
I mark complex analysis hw ama

>> No.9608561 [DELETED] 
File: 3.24 MB, 4032x3024, 20180321_073445.jpg [View same] [iqdb] [saucenao] [google]
9608561

Anyone good enough at Statistics to help?

>> No.9608564

>>9608559
How hard is it compared to other fields? I'm taking it this term and I'm a second year undergraduate.

>> No.9608574

>>9608564
It's not particularly hard. If you've done real analysis before, it's relatively easier (if not, idk what you're doing taking this class. It involves more abstract thinking, in the sense that complex functions require 4D to think about, evaluating integrals don't always require computing the integral, and classically bounded functions like sin, cos are unbounded. You get a lot of surprising results which makes it quite fun (residue theorem, once differentiable implies infinitely differentiable, bounded differentiable implies constant), and also on top of that, you have to start thinking more topologically. The best part is it's applications, like using the residue theorem to compute real integrals, or using winding numbers to prove the fundamental theorem of algebra.

>> No.9608615

>>9608574
I've taken two courses on real analysis so I've got a decent grasp on that. Got a midterm on Friday about complex involving open sets, metric spaces, line integrals etc.

>> No.9608673

>>9608615
The real fun begins with meromorphic functions

>> No.9608674

>>9605168
Seems to be exactly what I'm looking for. I'll look at it. Thanks.

>> No.9608758

>>9608230
Pls respond

>> No.9608786

If you make and equivalence relation out of a strict partial order is there a name/notation for "lifting" said partial order to the quotient set?

I've just been calling it [math]\mathscr{P}(\prec)[/math] but that doesn't really make sense if you think about it.

>> No.9608790
File: 165 KB, 508x687, 43079124_big_p18.jpg [View same] [iqdb] [saucenao] [google]
9608790

What's a good foreign language to learn? I am a native English speaker.

>> No.9608793

>>9608786
Do you mean project to the quotient set with the equivalence relation that two objects are in the same class if they belong to the same chain? Pretty sure that's not well defined

>> No.9608795

>>9608790
French for algebraic geometry

>> No.9608798

>>9608790
Somali

>> No.9608804

Sup /mg/ I'm an engineer, I work on cars and fighter jets and shit, and just the other day a category theorist came up to me to tell me how do my job. So they tells me that I should learn category theory because it will solve all the problems I'm having. They also said that they're not like the old category theorists(they got banned from getting NSF funding?).

So they showed me a couple of toy examples and messes of diagrams that looked like what happens when I toddler play around with simulink, but they didn't really seem to do much. All they seemed to be doing is spending a lot of time expressing completely obvious shit we already know in a mathematical formalism. Oh wow so you made a mathematical formalism to represent air traffic control all under the same tent in only 8 months and if anything changes you have to remake it if any assumptions change. So what? How the fuck does this help me as an engineer? I can already draw boxes with arrows between them and shit.

Just how the fuck am I supposed to use category theory as an engineer? Is this category theorist just yanking my chain?

>> No.9608813

>>9608790
>What's a good foreign language to learn?
Chinese, it's the future

>> No.9608821

>>9608804
I'm assuming this is a troll, but in case it's not the benefit in formulating your problem as an abstraction lies in applying other theorems from related pure math abstractions that might aid your own problem.

If your problem doesn't have smooth or polynomial structure there is essentially no reason to this.

Physicists tend to fall into the trap of simplifying their theories so that they can work in variations of linear and smooth spaces which fits into abstractions that are richly developed in mathematics. Even many quantum field theories are simplified to allow for analysis using group theory methods. This is not realistic when you're working with real world problems that are highly non-linear and discontinuous.

>> No.9608849

>>9608821
it's not a troll. They want to 'solve' this one engineering field using category theory.
>>If your problem doesn't have smooth or polynomial structure there is essentially no reason to this.
explain. This is urgent. It is very rare for problems in my field to be smooth. Phenomena such as friction and contact are not smooth.
>>physicists
no this was a category theorist who wants to go from pure to applied

>> No.9608854

>>9608793
I mean [eqn]p \sim q :\Leftrightarrow \lnot(p \prec q) \land \lnot (q \prec p)[/eqn] followed by [eqn][p]_\sim \prec_\oplus [q]_\sim :\Leftrightarrow \forall p' \in [p]_\sim : \forall q' \in [q]_\sim : p' \prec q'[/eqn] Does this make sense?

>> No.9608865

multivariable m8

>> No.9608876

>>9608798
I'm going to unironically go with this one.

>> No.9608880

>>9608790
Japanese, we're on 4chan after all.

>> No.9608886

>>9608880
I have so many reasons to learn Japanese (mainly in the form of untranslated games and manga) and yet no motivation whatsoever to learn it . I think I need an academic / career related reason to motivate me .

>> No.9608903

>>9608849
>They want to 'solve' this one engineering field using category theory.
Just tell them you're working with Navier-Stokes equations they might realize they're retarded.

If you're not using N-S you're definitely using coupled non-linear equations (by coupled I mean some variables or parameters appear as a non-linear term in more than one equation that needs to be solved or simulated simultaneously). Something which is even more unsolved than N-S smoothness and continuity.

But most of all don't waste time with mouth breathing autists who are probably unpublished.

>explain
While category theory purports to try and find a unification of all abstract mathematical concepts and structures. Its success has been largely limited to finding morphisms between structures in algebraic topology. Topology is fundamentally the study of properties preserved under continuous transformations. We know a lot about smooth spaces from algebraic topology, just like we know a lot about polynomial equations for algebraic geometry.

Note that there are various subfields based on discrete topologies etc, but these fields are not nearly as developed as the smooth (including Hausdorff space) topologies. Many geometries in engineering are not even manifold.

Basically once you have highly complex non-linear behaviour (such as chaotic systems), discontinuities (such as variables or parameters where no solution exists) or coupled non-linear systems then you really know fuckall about the system. If this was not true then chaos theory (within which most developments have been largely numerical simulations) would be a solved problem already. As would the millennium prize for the navier-stokes conjectures.

Virtually all problems in engineering fall into these "categories". Solved problems in smooth spaces are not really worked on by research engineers. Only applied in industry.

>> No.9608907

>>9608849
>no this was a category theorist who wants to go from pure to applied
This usually happens when a mathematician fails to break into academia and then realize he's otherwise unemployable. It's his own fault for not studying outside his field. Tell him to apply to the undergraduate engineering course. Anyway I was just trolling any mathematical physicists that might have been reading my posts.

>> No.9608909
File: 31 KB, 972x563, Screenshot from 2018-03-21 13-12-34.png [View same] [iqdb] [saucenao] [google]
9608909

>>9608854
Nevermind that first part doesn't work.

>> No.9608912

>>9604727
linguistic entropy

>> No.9608933

>>9608886
Idk man start easy and work your way up. Don't make it a chore or you'll quit.
OR make it your one goal in life and grind until you got it then break.
OR something moderate but painful.

>> No.9608974

>>9608758
Try adding the equations and using the harmonic identities

>> No.9608984
File: 295 KB, 671x784, pomololmo.jpg [View same] [iqdb] [saucenao] [google]
9608984

>>9608359
I think I've had enough of Calculus, am I ready for Analysis like Rudin/Tao? Not sure I can do Topology yet.

>> No.9609077
File: 17 KB, 495x362, db4.jpg [View same] [iqdb] [saucenao] [google]
9609077

Still in high school but this took me aback:

"What value of x would set the divisor to 0"

Why the fuck would we do that? So many memes about dividing by 0, now we're evaluating f(X) with values of x that render a null divisor. WHAT THE FUCK

>> No.9609086

>>9605290
Well, some of the best algebraists read his basic algebra book as a minor.

>> No.9609090

>>9609086
>some of the best algebraists read his basic algebra book as a minor
[citation needed]

>> No.9609091

>>9609077
so you know where the undefined values of X are obviously

>> No.9609104
File: 12 KB, 578x566, 1515625498184.png [View same] [iqdb] [saucenao] [google]
9609104

>>9609091
But this is for the factor theorem, so every time its going to do that. What would it actually tell you about the graph? Man, I'm dumb, sorry.

>> No.9609119

>>9609104
it'd tell you where the asymptotes are on the graph and also give you lots of information about applying the function.

please calm down with the meme spamming it's really an eyesore to the thread

>> No.9609126

>>9605806
Yeah, to put this outline in perspective, I alone at my school undergraduate level (junior currently) have the potential to finish a outline like this (not the one above, I follow something more algebraic), with the last successful such person graduating in 2012. And I go to a top 10 university. There are many other great students; it is that they specialize earlier, a pathway I would strongly discourage (though one should specialize midway through the second year if they want a shot at top schools)

>> No.9609131

>>9609119
He's underage he can't help it.

>> No.9609132
File: 49 KB, 1365x767, 0f6e5d36.jpg [View same] [iqdb] [saucenao] [google]
9609132

>>9608790
Sanskrit, Tuvan or Livonian.

>>9608984
Why do you think you aren't ready for topology? All you need is basic set theory to get started.

>>9609077
>FUCK
Watch your profanity.

>> No.9609142

>>9606676
It took me a week to pick up the ropes, and about two months to gain complete fluency. I recommend reading the wiki through and through, and to use LaTeX.

>> No.9609147
File: 15 KB, 299x475, f6f91653a19d6055a83f55101fb54bbd.1500.jpg [View same] [iqdb] [saucenao] [google]
9609147

Currently working though pic related, but I am also looking to for a decent book on spectral theory.

My only background in it is in the chapter in this book, the 3 chapters in Kreyszig's functional analysis book and obviously the baby version in linear algebra.

Does anyone here have any recommendations?

>> No.9609151

>>9608984
>I think I've had enough of Calculus, am I ready for Analysis like Rudin/Tao?
Calculus IS analysis. DESU i find algebra to be more fun, but whatever floats your boat. Maybe you should try Tao, Rudin is a meme.

>> No.9609179

>>9609090
Kind of hard to cite as I heard it from them personally.

>> No.9609181

>>9608790
German duh. Don't you wanna be Gauss??

>> No.9609299

Linear algebra and diff. Equ.

>> No.9609322

>>9604727
calculus 1,2,3

>> No.9609325

>>9604727
Homology (no Homo) and Real Anal.

>> No.9609330

what does "space" mean? like fock space, probability space, etc

is it always a vector space? or is that another type of space?

yes im brainlet

>> No.9609353

>>9609330
>what does "space" mean?
Nothing.

>is it always a vector space?
No.

>> No.9609364

>>9609330
there's a wikipedia article that is literally the answer to your question

>> No.9609366

>>9609330
A space is a set or Cartesian product of sets together with a distance function.

For example the Euclidean space of dimension n is [math]\mathcal{R}^n[/math] with associated distance function [math]d(x, y) = \sqrt{x^2 + y^2}[/math].

>> No.9609371

>>9609364
and yes, you're a brainlet. not because you don't know what a space is, but because you would rather ask people to solve your problems than google for fucking two minutes

>> No.9609423

2nd year linear algebra exam in 4 days and I can only do RREF

What's the quickest way to learn about it within extremely limited time

>> No.9609516

>>9606676
it takes 5 minutes, no it's not difficult

>> No.9609519
File: 649 KB, 667x1000, yhst-137970348157658_2514_180913207.jpg [View same] [iqdb] [saucenao] [google]
9609519

i've mostly done things in the realm of category theory/logic because that's been most useful to my research, but recently been getting into alg geo and diff geo.

not coming from analytic background, diff geo was hard for me at first, but I have been really liking pic related after trying a bunch of books including >>9605199. The best paced and most well-organized so far in terms of giving you solid things to compute but also very conceptual. Written in a way such that if yk cat theory many of the proofs and constructions will be obvious.

>> No.9609539

>>9609330
It can be a whole lot of things. The majority of the time it is a set with additional structure.

i.e. -Measurable space has a sigma algebra
-Topological space has a topology
-Vector space has linear structure
-Manifolds, Varieties, Schemes have a topology and a sheaf of rings

But sometimes they are not even sets.

ex. We often want to consider "Moduli Spaces", which are spaces whose points correspond to some type of equivalence classes of some type of geometric object. Such spaces are often best structured as a Stack, which has either a fibered category or a pseudofunctor underlying it (not a set).

>> No.9609571

>>9604963
Understand the formula and it will be easy.

>> No.9609588

>>9607391
get a trip

>> No.9609601

>>9608517
You are a brainlet for posting reddit trash.

>> No.9609632
File: 71 KB, 520x520, 1503529597435.jpg [View same] [iqdb] [saucenao] [google]
9609632

>>9609330
Since we're talking about mathematics, usually it means "topological space" (i.e. CW complex) or "algebraic space".

>> No.9609633
File: 137 KB, 482x651, 23423432432.png [View same] [iqdb] [saucenao] [google]
9609633

>>9609632
How can CW complexes be real if Euclidean spaces aren't real?

>> No.9609669

>>9606676

I learned to latex in a couple of minutes. You know how to pronounce it?

>> No.9609697

>>9604727
Trying to learn about sheaves on sites and forcing to finally be able to read Plato's works on the deep sexual ontology of meta-philosophy. I'm an applied philosophy major.

>> No.9609791

Is it well defined to have a sum with uncountably many zeroes? For example, I have a partition of unity subordinate to a (possibly uncountably infinite) cover. The functions of the partitions can be non-zero only finitely many times. So is it well-defined to some over uncountably many functions, when only finitely many are non-zero?

>> No.9609795

>>9609791
>>9609791
yes

>> No.9609796

>>9609791
>>9609791
no

>> No.9609801

>>9609791
>well defined
What do you mean?

>> No.9609809

>>9609801
>>9609796
>>9609795
Nevermind, it is well defined, if you define the sum to just take the value over the finite non-zero values

>> No.9609810

anime posters need to die

>> No.9609811

>>9609810
>anime posters need to die
>>>/reddit/

>> No.9609814

>>9604727
This general is the worst place on 4chan.

>> No.9609815
File: 1.50 MB, 375x348, drum.gif [View same] [iqdb] [saucenao] [google]
9609815

Transferring from cc to university next semester (I'm not a brainlet and my iq is pretty decent, I just had interesting life circumstances, let's put it that way) for pure math (possibly with a physics double major), is an undergrad PDEs course a meme or useful?

Working through baby rudin on my own. Undergrad PDEs seems kind of memey, just more fourier transforms with some green's functions and whatnot. But I wanted the opinion of someone more experienced.

Would mathematical statistics be more useful?

>> No.9609816

>>9609814
>This general is the worst place on 4chan.
Then leave

>> No.9609817

>>9609815
I would wait and take a grad PDEs course.

>> No.9609818

>>9609815

Yeah do PDEs even if you do pure math.

>> No.9609819

>>9609815
Undergrad PDEs is literally a meme

>> No.9609821

>>9609791
>>9609791
maybe

>> No.9609822

>>9609819
>Undergrad PDEs is literally a meme
Only if you go to a school for brainlets

>> No.9609823

>>9609815
>is an undergrad PDEs course a meme or useful?
>Would mathematical statistics be more useful?
>possibly with a physics double major
>I'm not a brainlet and my iq is pretty decent
I doubt it with the retarded questions you're asking.

>> No.9609826

>>9609823
>retarded
Why the ableism?

>> No.9609828

>>9609817
He didn't say he was going to engineer grad school.
>>9609818
Engineering isn't required for doing "pure math" (also known as "math").

>> No.9609829

>>9609819
>>9609817
that's what I assumed, thanks, think I'm going to wait until I have upper-division analysis done then do the PDE sequence that comes after that

>>9609823
They're legitimate questions because the class seems kind of silly upon first inspection. That's why I asked.

>> No.9609830

>>9609828
>math
This is not well-defined.

>> No.9609834

>>9609815
>Would mathematical statistics be more useful?
For your kind? Sure. Just post about that in the physics threads at >>>/toy/ and >>>/sci/phg/ instead of here.
>>9609829
> the class seems kind of silly upon first inspection
It is indeed silly if your goal is to study anything besides engineering.

>> No.9609838

>>9609834
>>Would mathematical statistics be more useful?
>For your kind? Sure. Just post about that in the physics threads at >>>/toy/ and >>>/sci/phg/ instead of here.
I'm interested in pure math above all though. Statistics is a graduation requirement at the university in question for the math BS so it is something I'd have to take regardless.

>> No.9609848

>>9609838
>I'm interested in pure math above all though.
There is no such thing as "pure" or "impure" math.
>Statistics is a graduation requirement at the university in question for the math BS
Your "university" is literal garbage in that case. Adding economics or electrical engineering graduation requirements would be about as relevant for mathematics. I recommend trying to cheat so you don't have to infect your brain with such "knowledge".

>> No.9609850

>>9609848
>I recommend trying to cheat so you don't have to infect your brain with such "knowledge".
Mathematicians use "we", not "I".

>> No.9609851

>>9609850
>Mathematicians
see >>9609830

>> No.9609857
File: 13 KB, 800x800, square.png [View same] [iqdb] [saucenao] [google]
9609857

Does anyone know of a program where I can change the Center Radius angle on this picture and get calculations of each segment for a defined radius?

>> No.9609863

>>9609857
Try asking in the appropriate place for such questions. That place being the >>>/g/hetto/ or >>>/sci/sqt/.

>> No.9609887

>>9609366
Is this always well-defined?

>> No.9609923

Is anyone an expert regarding the weil petersson metric on manifolds that are not Riemann surfaces?

>> No.9609974

>>9609923
Yeah. I'm actually the one who defined them.

>> No.9609978

Why am I such a brainlette that I have trouble with simple linear algebra proofs?

>> No.9609998

>>9609974
Don't you funny me anon. Specifically, I'm interested in complex 3-dim. Kahler mfs., I want to understand how to explicitely calculate the WP metric for such manifolds.

>> No.9610007

>>9609998
>I want to understand how to explicitely calculate the WP metric for such manifolds
What for?

>> No.9610016

>>9610007
They are nice invariants of (compact) CY 3-folds which have not been studied too extensively yet. Basically I know how they look like, i.e. you take the negative Hessian of the 3-fold cup product in [math]H^{1,1}(X,\mathbb{R})[/math], where [math]X[/math] is your CY 3-fold, and then restrict it (viewed as a Lorentz type bilinear form) to level sets of the 3-fold cup product in the Kahler cone of [math]X[/math]. The 3-fold cup product is a cubic homogeneous polynomial with some automatically fulfilled properties, like having a hyperbolic point. But I do not understand how to calculate said polynomial when given a specific compact 3-dim. CY. Sources for that problem are rare, as it is more analysis flavoured and thus usually avoided by algebros.

>> No.9610017

>>9604727
How am I supposed to study for a proof based exam?

>> No.9610023

The kind that is actually Mechanical Engineering :^)

>> No.9610025

>>9609978
Maybe your book is shit. Maybe your class is shit. Maybe you don't know how to deal with abstraction yet.

>> No.9610038

>>9610016
Has anyone ever been able to explicitly write out a metric for any calabi-yau 3-fold?

>> No.9610062

>>9610038
I haven't found a single example that starts with a coordinate-description, or a specific homogeneous CY 3-fold. In dimension 2, that is for Riemann surfaces, you know how the WP metric looks like locally around every point, simply because there exists up to linear transformations precisely one hyperbolic quadratic polynomial, namely [math]x_{m}^2-x_{1}^2-\ldots-x_{m}^2[/math]. Here, [math]m=\mathrm{dim}\ H^{1,1}(X,\mathbb{R})=h^{1,1}[/math] and [math]X[/math] is your Riemann surface. But for higher dim Kahler manifolds like CY 3-folds the moduli space of hyperbolic homogeneous polys in more than 3 variables is very complicated.

A good start for my problem would be to understand how to determine the Kahler cone of some explicitely given CY 3-fold, that alone is nasty.

>> No.9610066

>>9610017
Memorize all the definitions and major theorems.

Train yourself to be able to recall all of them and apply the basic techniques behind them on command.

If someone gives you a problem, you should immediately have an idea of what you need to do and what results you need to solve it.

>> No.9610067

>>9610062
Ah fuck latex and fuck me, meant to write [math]x_m^2-x_1^2-\ldots-x_{m-1}^2[/math].

>> No.9610086

>>9610025
We're using Linear Algebra Done Right, which seems well regarded, and the class is an honors course taught by a professor who is supposed to be among the best.

I guess I just need to get used to the abstraction, then.

>> No.9610103

>>9610086
Yeah that should be a good course. The legit linear algebra course at my school uses that book too. Linear algebra is usually the first introduction to abstraction so it makes sense that you're in the process of learning it. Keep in mind real math is all about generalization and mathematical thinking takes time to develop, at least it did in my case.

>> No.9610104

>>9610103
>at least it did in my case
As it usually does in the case of brainlets.

>> No.9610109

>>9610104
I've already accepted that I'm slightly above average at best. There's no need to be so condescending about it.

>> No.9610112 [DELETED] 

>>9609978
are you a girl? then that's why.

>> No.9610114

>>9610109
>I'm slightly above average at best
Perhaps in the company of brainlets. Anyone who writes "real math is all about generalization" is clearly below average.

>> No.9610115

>>9610104
Congrats on popping out the womb reading Rudin.

>> No.9610117

>>9610115
I'm not interested in engineering so I don't read such books.

>> No.9610122

New:
>>9609872
>>9609872
>>9609872

>> No.9610123

>>9610114
Yeah I forgot math is all about specific examples my bad.

>> No.9610128

>>9610123
Anyone who writes "math is all about specific examples " is clearly retarded, so it all checks out.

>> No.9610133

>>9610128
I mean do you not understand that was sarcasm? That's a bit sad.

>> No.9610137

>>9610133
The truly sad thing here is that you think those two positions are somehow "opposite" and that one of them is somehow "correct".

>> No.9610155

>>9610137
Well from your characteristic use of quotes I know you're the anime posting girl of /mg/ and you definitely know more about math than me. I was just trying to give some advice to someone in a similar position to me some time ago and what helped me back then was thinking more abstractly. I do think math is taught in either one of the two camps, you have computational example ridden math lite course and more general courses that focus on developing concepts.

>> No.9610195

>>9610155
>the anime posting girl of /mg/
This doesn't uniquely determine anyone. We're all anime posting girls here.
>thinking more abstractly
I don't understand what you mean by this.
>I do think math is taught in either one of the two camps
These camps don't exist as stated. There is math and then there is stuff which can't be considered math by any stretch of the imagination (e.g.,"computations with matrices").
>more general courses that focus on developing concepts
The very nature of the subject forces every math course to be focused on developing the understanding of certain concepts.

>> No.9610215

>>9610195
Well my first exposure was what you rightly consider to not even be math. So I guess thinking more abstractly was just actually understanding what was going on instead of looking for the "trick" to solve whatever was in front of me.

>> No.9610261

I'm trying to solve [math]\hat{f}(\omega)=e^{ic\omega}[/math] but all I get is [math]\int_{-\infty}^\infty e^{\omega(ic-ix)}d\omega[/math], which is unbounded. What am I doing wrong?

>> No.9610263

>>9610261
Dammit.

>> No.9610414

>>9610195
>math
This is not well-defined.

>> No.9610496

>>9604878
This but unironically

>> No.9611244

Does it matter where you get your undergrad degree? I go a decent public Uni and I am thinking of transferring to a more rigorous private school or an IV league.