For requesting, clarifying, and comparing definitions of mathematical terms.

learn more… | top users | synonyms

6
votes
0answers
258 views

Understanding the roots of homomorphism and homeomorphism

I understand the formal (i.e. mathematical) definitions of the terms "homomorphism" and "homeomorphism" as they relate to functions, but I am curious as to the origin of these terms. I don't know ...
5
votes
0answers
50 views

Looking for functions “similar” to the $ \Gamma $ function

According to wikipedia: https://en.wikipedia.org/wiki/Functional_equation The $\Gamma$ - function is the only solution that suffices the following three equations: $$ f(x)={f(x+1) \over x}\tag{$*$} ...
5
votes
0answers
171 views

From the viewpoint of modern geometry, is there a “best” definition of the term “triangle”?

I can think of at least six different possible definitions of the term "triangle" in Euclidean geometry. a subset of $\mathbb{R}^n$ that can be expressed as the convex hull of three or fewer points. ...
5
votes
0answers
81 views

Can we consider a hypergeometric function as a closed-form?

Let's say a calculus problem like an integral or a series has a solution that inevitably involving a hypergeometric function. It turns out that hypergeometric function cannot be expressed in term of ...
5
votes
0answers
216 views

I think a definition is wrong in “Model Categories” by Hovey.

I am working through the book "Model Categories", by Mark Hovey, and have a doubt about a definition given there. At the beginning of page 50 we read: Define a map $f:X\rightarrow Y$ to be a ...
4
votes
0answers
28 views

Interval arithmetic with different definitions of intervals

Interval arithmetic normally deals with intervals defined as $[a,b]$ with rules like $$[a,b]\cdot[c,d]=[a+c,b+d]$$ I am interested in interval arithmetic with different interval definitions such as ...
4
votes
0answers
100 views

What does it mean to categorify something?

What does it mean to categorify something? Is there any simple illustrative example of this process? How it is done and what is it useful for? Here is where I heard it first: "Khovanov homology is ...
4
votes
0answers
96 views

Why not defining a measure as a function on functions?

A measure $\mu$ is a function to $\left[0,\infty\right]$ on the sets belonging to a $\sigma$-algebra. Then for integrable functions $f$ the integral $\int fd\mu$ comes in, having nice properties ...
4
votes
0answers
92 views

Defining “Penon Infinitesimals”.

In this lecture (which is accompanied by these slides), right near the end (so page 9 in the pdf of the slides; I don't think you have to watch the lecture), P. Johnstone refers to the "Penon ...
3
votes
0answers
41 views

Properties of $L^{\infty}$

I'm trying to get a better grasp on the idea of $L^{\infty}$. What are the implications if we are given that $f \in L^{\infty}$? Also, how do we write $\|f\|_{\infty}$ in terms of the inf of a set of ...
3
votes
0answers
29 views

Transitive relation vs. transitive action

A transitive relation $\circ$ is a relation with the property that: $$ (a\circ b \wedge b \circ c) \Rightarrow a \circ c.$$ A transitive group action is a group action $$\phi : G \times X \rightarrow ...
3
votes
0answers
38 views

Gradient vector interpretation

I have trouble understanding the gradient vector $\nabla$. For a surface, when we find it's $\nabla$, why is the resultant vector the normal vector when $\nabla$ means gradient vector?? Thanks
3
votes
0answers
36 views

Meaning of the term $X/H$ and orbits

I am trying to find representations of the group $G=GL_2(F(t)/t^2) = (M_2(F_p) , + ) \rtimes GL_n(F)$ So I was trying to do exactly what Serre has explained in this section. I am not quite able to ...
3
votes
0answers
26 views

Definition of Dihedral group via semidirect product

Let $G$ be an abelian group and let $\varphi:Z_2\rightarrow Aut(G)$ be the homomorphism where $\varphi(\overline{1})$ is the inversion automorphism. Define $Dih(G)=G\rtimes_{\varphi} Z_2$. Now set ...
3
votes
0answers
180 views

What is the “correct” way of making $\mathcal{P}(X)$ into a topological space?

If $X$ is a topological space, I want to know the "correct" way of making the powerset $\mathcal{P}(X)$ into a topological space. So let $\mathsf{SupLat}$ denote the infinitary Lawvere theory whose ...
3
votes
0answers
64 views

Functors that preserve the subset relation on constructs

Is there a name for functors between concrete categories over Set that preserve '$\subset$'? Example, for a functor $F:\mathbf {Top}\to \mathbf {Grp}$, if $Y$ is a subspace of $X$ then $F(Y)$ ...
3
votes
0answers
21 views

Does this matrix have a name: $x=(x_0, \ldots, x_n)$, $S(x)_{i,j} = x_{i+j \mod(n)}$. Can you help me generalise the idea?

Apologies if this question is vague/unclear (especially the title). Given a vector $x=(x_0, \ldots, x_n)$ define the matrix $S(x)_{i,j} = x_{i+j \mod(n)}$. $$ S(x) = \left( \begin{array}{rrrr} ...
3
votes
0answers
95 views

Anti-Diagonal Matrix

Hi just a quick question. Can a anti-diagonal have zero in its diagonal? I have this definition in my paper. "An anti-diagonal matrix is a square matrix where all the values are zeroes except those ...
3
votes
0answers
48 views

Conceptual question on showing properties of the absolute value function on $\mathbb{Q}$

I have a rather conceptual question about showing certain small lemmas regarding the absolute value function on $\mathbb{Q}$. I want to only give one example: Let $a,b \in \mathbb{Q}$ and $|.|$ ...
3
votes
0answers
81 views

What is the difference between $\propto$ and $\sim$

Suppose I have two physical quantities, lets name them $a$ and $b$. I wonder what the difference exactly is between $$a\propto b,\tag{1}$$ and $$a \sim b.\tag{2}$$ I know for eq. 1, that it means ...
3
votes
0answers
69 views

What is the desirable function identification when setting up arrows in the category of types?

My question is which functions can not be allowed in a statically typed programming language, so that the "canonical" category is less coarse than what you get if you define it's arrows to be ...
3
votes
0answers
87 views

Strong Integral

Is there a strong(!) notion of integral that can face all of those issues: Singularities Decay Modes Oscillations Measure Spaces Locally Convex Spaces For example combining decay modes with ...
3
votes
0answers
67 views

“Identify” terminology

What does it mean to "identify" two objects in algebra, as distinct from having an isomorphism or automorphism between them? I was led to think about this while reading Stewart's Galois Theory, where ...
3
votes
0answers
155 views

Zariski cotangent space, as defined in Arapura's “Algebraic Geometry over the Complex Numbers”

In "Algebraic Geometry over the Complex Numbers", Arapura gives the following definition: Definition 2.5.8. When $(R, m, k)$ is a local ring satisfying the tangent space conditions, we define its ...
3
votes
0answers
103 views

Definition of differential forms

I am reading the book Algebraic Geometric Codes: Basic Notions by Tsfasman, Vladut and Nogin. The authors introduce some definitions about differential forms at the beginning of Section 2.2. These ...
3
votes
0answers
543 views

What is the principal branch of $f(z)=\sqrt{1-z}$, $z\in\mathbb{C}$?

My question is, essencially, about the definition of the principal branch of a function that is not a Logarithm. In this case, $f(z)=\sqrt{1-z}$.
3
votes
0answers
81 views

Definition of small $o$

In one of my homework assignments (in intro to applied mathematics) there is the following definition: Given two functions $f(\epsilon),g(\epsilon)$ that are defined in $D=(0,\epsilon)$ we say ...
3
votes
0answers
51 views

Problem of understanding

Please , can someone help me to understand this part of text please What it means "... for some $k\in \mathbb{N} \cup \lbrace 0 \rbrace$ and uniformly fore a.e $t\in [0,2\pi]$" and please how to ...
3
votes
0answers
184 views

Taylor series of a vector field?

Can someone give me the definition of the Taylor Series of a vector field in $\mathbb{C}^2$? Thanks!
3
votes
0answers
235 views

Lemma of Whitehead

this is the lemma of Whitehead And i really don't understand the proof How to see that $k$ is well defined (i.e how to write an element from $X\cup_{\varphi_i}e^{\lambda} , i=0,1$ ) and how to ...
3
votes
0answers
130 views

Infinite set ordered like a “infinite tree”

Obviously I don't need to say that I'm still a newbie, so I'll try to explain my question with some pics too. I have a infinite set $T$ I have a visual idea of how this set is ordered, but I don't ...
3
votes
0answers
193 views

Exercise on measure theory

I have this exercise: Let $\mathscr {S}$ be a collection of subsets of the set $X$. Show that for each $A$ in $\sigma(\mathscr S)$ there is a countable subfamily $\mathscr C_0$ of $\mathscr S$ ...
3
votes
0answers
73 views

Define composition of small cyles and making a big graph

I am having following sub graphs and wish to compose all and make a one bigger graph (say G). After that, I want to select the closed path where it is passing along the outer vertices of that ...
3
votes
0answers
143 views

Steps toward making the Feynman integral rigorous

I would like to know if there has been any progress recently toward giving the Feynman integral a rigorous definition. I heard that Richard Borcherds is working on giving quantum field theory a ...
3
votes
0answers
50 views

Defining a Certain Class of Plane Graphs

I'm having problems finding the right words to formulate the following class of graphs in a definition. I'm defining a class of plane graphs with the following properties: Removing any vertex of ...
3
votes
0answers
97 views

Closed / embedded surface

Given a closed surface in $\mathbb R^3$, is it necessarily an "embedded surface"? I think it is true, but that is just because I can't think of a closed surface for which we cannot construct a smooth ...
3
votes
0answers
218 views

Can GCD be called an operator?

Can $\gcd(a,b)$ be called a binary operator which takes operands $a$ and $b$ and returns their greatest common divisor. And if for some operator —say $\bigotimes$ —$(a_1\bigotimes a_2 ...
2
votes
0answers
36 views

When do you call something “a calculus” vs. “a logic”?

Similar to What do Algebra and Calculus mean?, what is the difference between a logic and a calculus? I am learning about the different kinds of logics, and often when I look them up in a different ...
2
votes
0answers
35 views

Are there non-holomorphic or non-analytic polynomials of several complex variables?

Having no prior exposure to several complex variables, I am trying to read some papers involving this subject. I came upon the terms analytic polynomial and holomorphic polynomial. Do they simply ...
2
votes
0answers
32 views

What vector field property means “is the curl of another vector field?”

I know that a vector field $\mathbf{F}$ is called irrotational if $\nabla \times \mathbf{F} = \mathbf{0}$ and conservative if there exists a function $g$ such that $\nabla g = \mathbf{F}$. Under ...
2
votes
0answers
45 views

Largest Singular Value / Singular Value

I was wondering, what if the eigenvalues of a matrix A are all negative. So does that simply mean there is no singular value for this particular matrix?, hence I can't calculate the conditional number ...
2
votes
0answers
41 views

Quartic operator definition

What is a quartic operator? I googled it but found only some articles which use that term whitout giving a definition (I found that term while studying 2D Ising model, and the use of some ...
2
votes
0answers
32 views

Does the relation $\mid^*$ have any interesting applications for understanding the structure of commutative rings that aren't integral domains?

There is a binary relation $\mid^*$ defined on any commutative ring as follows: $a \mid^* b$ iff $ak=b$ for some $k \in R$ that is not a zero divisor. This is always transitive, and it is reflexive ...
2
votes
0answers
28 views

Unique Union Problem

Given a the set $a = \{1,...,n\}$ and let $b$ denote a set of subsets of $a$. Find a subset of $c$ of $b$ so that the union of all subsets in $c$ is equal to $a$ and the intersection of any of the ...
2
votes
0answers
41 views

What is the “minimal” structure in which points and lines are defined?

Points, straight lines and planes are fundamental concept of geometry. Usually this entities are defined in a structure. We can easily define points in a vector space, or in a affine or projective ...
2
votes
0answers
59 views

Relations in a finitely complete category with images

I can't use tikz inside MathStackExchange; so my question is on an image below.
2
votes
0answers
52 views

What is the standard definition of Torsion element?

Here are two different definitions of torsion element. Let $M$ be an $R$-module and $m\in M$. Wikipedia: $m$ is a torsion element iff there exists a nonzero regular element $r$ (i.e. Not a zero ...
2
votes
0answers
42 views

Uniform Boundedness: Am I right or my TA?

I am a student, and I disagree with the solutions our TA has prepared. I am seeking verification that I am correct or explanation as to why I am wrong. It seems to be a disagreement or ...
2
votes
0answers
31 views

Correct way of defining a mathematical object (linguistic)

I am writing my thesis and my advisor made a correction to the sentence below: Transitional Rule commonly denoted by $\phi$ is defined by the map $\Sigma^n \rightarrow \Sigma$. He has changed ...
2
votes
0answers
61 views

Two definitions for non-singular in codimension 1

I am trying to understand how the following definitions are the same. Shafarevich definition (pg 128) - A variety is non-singular in codimension one if the singular locus has codimension $> 1$. ...