Maths Terms Identifier

I add maths definitions to posts

[maths-terms-identifier]

Intro Post

Hello! Welcome to Maths Terms Identifier! I add the definitions of maths words found in posts as well as the area of maths the word comes from. Often there are multiple uses of a word in maths so I will choose one per post. Reblogs will look have the below structure:

Maths Terms

Area of maths

Definition goes here.

Reblogs will be tagged with "definition" along with the area of maths the definition belongs to. Other posts will be tagged "not a definition".

I will mostly focus of popular and or funny posts as some words are very common (e.g. normal). Posts with multiple words might not get definitions for every word if there are a lot. Feel free to tag me in a post you want me to extract the definitions from!

[fiberfantasies]

Fiber arts is just Math in sheep's clothing

[maths-terms-identifier]

Fibre

Set Theory

Let f:X->Y be a function and y∈Y. The fibre of y is the preimage of {y} under f: f⁻¹({y}).

[identifier-identifier]

Yup thats an identifier

[maths-terms-identifier]

Wait, important (I think?) correction:

If X is a projective k-scheme and G an affine group k-scheme, where k a field, how do I define the stack Bun_G(X) of principle G-bundles over X is and how do I show that it's an algebraic stack?

If one of your followers or colleagues could provide a solution for this, that'd be neat :3

Correct for the previous post!

[maths-terms-identifier]

If X is a k-scheme and G a group k-scheme (where k a field), how do I define the stack Bun_G(X) of principle G-bundles over X is and how do I show that it's an algebraic stack?

I have never done any algebraic geometry so I'll be honest I have no clue anon /lh

Potentially one of my followers knows though :))

[maths-terms-identifier]

Do more Algebraic/Arithmetic Geometry definitions please! It's like topology but weird and fucked up (and nicer) :3

I will certainly try! Though I am currently limited by my own knowledge and since I've not formally learnt any algebraic geometry yet, I'm not really familiar with the definitions. However I should be taking a course in it next year!

[fiberfantasies]

Fiber arts is just Math in sheep's clothing

[maths-terms-identifier]

Fibre

Set Theory

Let f:X->Y be a function and y∈Y. The fibre of y is the preimage of {y} under f: f⁻¹({y}).

[apolladay]

which of my favorite words is your favorite?

automaton

cosmonaut

glade

radar

photograph

parabola

snare

irascible

definitions under cut:

automaton: a robotic device made in imitation of a human

cosmonaut: a Soviet astronaut

glade: grassy open space within a forest

radar: the system of detecting the presence of something

photograph: literally translates to “writing with light”

parabola: A symmetrical u-shaped curve that often appears in math equations

snare: A trap for hunting birds

irascible: a tendency to be easily angered

Which of my favorite words is your favorite?

automaton

cosmonaut

glade

radar

photograph

parabola

snare

irascible

Voting ended onApr 7, 2025

definitions under cut:

automaton: a robotic device made in imitation of a human

cosmonaut: a Soviet astronaut

glade: grassy open space within a forest

radar: the system of detecting the presence of something

photograph: literally translates to “writing with light”

parabola: A symmetrical u-shaped curve that often appears in math equations

snare: A trap for hunting birds

irascible: a tendency to be easily angered

[maths-terms-identifier]

Parabola

Geometry, Analytic Geometry

A parabola is the shape given by the intersection of a cone and a plane parallel to the tangent plane of the cone.

[applejongho]

"I feel so normal about him" well I dont. move

[maths-terms-identifier]

Normal

Riemannian Geometry

A geodesic γ:[a,b]->M of a Riemannian manifold M is said to be normal if it is parameterised by arc length.

[segamascott]

[maths-terms-identifier]

Loop

Topology

Let X be a topological space. A loop in X is a continuous map γ:S¹->X.

[emobloodwolf]

update on personal life stuff

got hit by 12 cars and died. sory. all at once. no traces left behind. I think one of the cars was carnivorous

[prime-factorizer]

12 factorizes as 2²×3

[maths-terms-identifier]

Trace

Linear Algebra

The trace of a square matrix M, denoted tr(M), is defined to be the sum of its diagonal entries.

[recuperationdisliker]

f(x) tribute band called f'(x). you'd think the point would be to be derivative but it's actually quite easy to differentiate the two.

[recuperationdisliker]

no

[recuperationdisliker]

yeah :)

[fallingtowers]

haha yayyyy :) i'm having such a wonderful time on the internet with you

[endocryptor]

that was smooth.

[maths-terms-identifier]

Smooth

Differential Geometry, Differential Topology

A map F:M→N between smooth manifolds M and N is said to be smooth if for any p∈M there exist charts (U,φ) containing p and (V,ψ) containing F(p) with F(U)⊆V such that the map ψ∘F∘φ⁻¹:φ(U)→ψ(V) is a smooth map between subsets of Euclidean spaces.

[loli-max-stirner]

who up garfing they field rn

[maths-terms-identifier]

Field

Abstract Algebra

A field is an integral domain such that every non-zero element has a multiplicative inverse

[national-rail]

personally, I'd say i think about trains a normal amount

[maths-terms-identifier]

Normal

Topology

A topological space X is normal if given any two disjoint closed subsets E and F of X, there exist disjoint open neighbourhoods U and V of E and F respectively

[green-godess-caprese-sandwhich]

surely you could have picked like 10 different versions of normal why this one

[maths-terms-identifier]

If you scroll through my blog, you'll see that I've done different definitions of normal on different posts and I try not to do the same one twice in a row, hence I chose this one

[apolladay]

Before you is a (5 pointed) star shaped cookie you are going to eat. What order do you eat it in?

1.

All the points going clockwise, then the center

2.

All the points going counterclockwise, then the center

3.

No particular order just take a bite and keep going till finished

4.

Center first, then eat all the points like they’re separate cookies

5.

Eat all of it at once (you nearly choke and die but it’s worth it because you’re not showing favoritism)

6.

I’ve never had a cookie/cookie are bald/don’t believe in stars

Before you is a (5 pointed) star shaped cookie you are going to eat. What order do you eat it in?

All the points going clockwise, then the center

All the points going counterclockwise, then the center

No particular order just take a bite and keep going till finished

Center first, then eat all the points like they’re separate cookies

Eat all of it at once (you nearly choke and die but it’s worth it*

I’ve never had a cookie/cookies are bald/don’t believe in stars

Voting ended onJan 27, 2025

*because you’re not showing favoritism)

[maths-terms-identifier]

Star-shaped

Analysis, Topology

We say a subset U⊆V of a vector space V is star-shaped if there exists a point x₀∈U such that for all x∈U and t∈[0,1], tx₀+(1-t)x∈U.

[yayxstitch]

Me cutting a section of floss, seperating a strand and pulling; only for it to all bunch up and form a knot at the end: I try to be a good person. I don't deserve this.

[maths-terms-identifier]

Section

Topology

Given a fibre bundle E with base space B and projection π:E->B, a section is continuous map σ:B->E such that π∘σ=idʙ.

[yayxstitch]

Me cutting a section of floss, seperating a strand and pulling; only for it to all bunch up and form a knot at the end: I try to be a good person. I don't deserve this.

[maths-terms-identifier]

Section

Topology

Given a fibre bundle E with base space B and projection π:E->B, a section is continuous map σ:B->E such that π∘σ=idʙ.

[whencartoonsruletheworld]

[maths-terms-identifier]

Category

Category Theory

A category C consists of a class of objects denoted Ob(C) and for any two objects X,Y∈Ob(C) a class of morphisms from X to Y denoted Mor(X,Y) such that the following are true for all X,Y,Z,W∈Ob(C):

For all g∈Mor(X,Y) and f∈Mor(Y,Z) there exists a morphism f ∘ g∈Mor(X,Z)

The exists idₓ∈Mor(X,X) and idᵧ∈Mor(Y,Y) such that for all f∈Mor(X,Y) f ∘ idₓ=f=idᵧ ∘ f

For all f∈Mor(Z,W), g∈Mor(Y,Z) and h∈Mor(X,Y) f ∘ (g ∘ h)=(f ∘ g) ∘ h