# Tagged Questions

45 views

### Path-independent contour integrals and how to define them

If a contour $C$ is parameterized by $z(t): [a, b] \to \mathbb{C}$, then we define $$\int_C f(z) \, dz= \int_a^b f(z(t)) \, z'(t) \, dt.$$ If the contour integral on the left side is equal to some ...
64 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 ...
25 views

### contact point and point of intersection

I am just unable to understand the definitions of contact point and point of intersection.My doubts can be summed up into the following two questions : 1) Suppose $f(x)=x^2$ and $g(x)=0$ are two ...
39 views

### A special kind of metric-spaces

Is there a special name for those metric-spaces or topological spaces in which every non-empty open set is uncountable ?
35 views

### A question about the names of the components of an interval

Suppose you have the interval $[n,10n]$. How do you call the $n$ in this interval? I think the $n$ can be called the "independent variable of the interval" (since the interval $[n,10n]$ can be written ...
29 views

### Uniformly bounded function?

For all I know, the term "uniformly bounded" only makes sense when applied to a family of functions, sequences of functions, sets of functions with one parameter and such. But I've seen in several ...
97 views

### How to define the magnitude of a rotation in $\mathbb{R}^n$?

Is there some well established way on how to quantify rotations in $\mathbb{R}^n$? To say which rotation is greater and which is smaller? In $\mathbb{R}^2$ the rotation is characterized by a single ...
36 views

### The term $rank$ in methematics

Reading wikipedia's disambiguation page about the "rank" word I see many concept of rank of many different matematical object. I only know about the rank of a graded poset and the rank of a set that ...
144 views

### Have any definitions in mathematics been redefined

Based on certain intuitions and motivations we make certain definitions and then proceed to use these concepts in further developing our intuition. For example, we have an intuition that a line has ...
143 views

### Rigorous mathematical definition of “much greater than” symbol

What does $f(x) \gg g(x)$ mean mathematically? How can we characterize "much greater than"?
159 views

### Provocations on the existence of mathematical objects

The few Mathematics I have been studying so far is pure Mathematics. I happen to have some discussions with philosophers of Mathematics, but as they know I totally ignore their subject, we do not ...
36 views

### Why do we want to define a $k$-scheme to be birational if the rational map (and its inverse) to $\Bbb A_k^n$ is over $k$?

Two varieties $X,Y$ are said to be birational if there exist rational maps in each direction such that either composition is the identity on a open dense subset. Note that here the morphisms aren't ...
78 views

### What is an isomorphism?

I'm familiar with the concepts of group isomorphism, ring isomorphism, and graph isomorphism, but it's never been presented to me what an isomorphism is in general: given any X, what is an X ...
576 views

### $\epsilon, \delta$…So what?

Over the course of my studies I often encounter phrases in reference material of the type "and this avoids the need for using $\epsilon$, $\delta$ definitions" or "by this we can omit those ...
303 views

### What is maths? “Maths is the study of ______”? [closed]

I can fill in the blank by just listing the different fields of maths but my goal is to define all of mathematics. An answer that I would've accepted a few years ago is "Maths is the study of ...
143 views

### Why do differential geometry textbooks bother with equivalence classes of smooth structures?

In contemporary textbooks on differential geometry, the definition of smooth manifolds is given in a (IMHO) awkwardly obfuscated way, by saying that a smooth manifold is a topological space endowed ...
123 views

### Infinite sum with 0 terms: comparison to infinite product

Depend on what text you read, an infinite product with an infinite number of terms that are 0 is either divergent, or diverge to 0. Even though, obviously, the partial product is still a convergence ...
290 views

### How can people understand complex numbers and similar mathematical concepts?

In mathematics, how does something like complex numbers apply to the real world? Why do complex numbers exist? How can we comprehend addition of complex numbers? For example, addition of natural ...
107 views

### Why do we use “if” in the definitions instead of “if and only if”? [duplicate]

I often write my notes as logical statements and constantly wonder why people use only the "if" direction in the definitions instead of the "if and only if". Consider: "A homomorphism $\phi$ is said ...
17 views

### Does the notion of “commutative algebraic theory” generalize to many-sorted signatures?

I think that the notion of commutative algebraic theory only makes sense for unisorted signatures, and cannot sensibly be generalized to the case of more than one sort. Does anyone know of a ...
124 views

### Should axioms be viewed as part of the signature?

I included category theory in the tags in order to get feedback from the categorial logic community. It goes without saying that this isn't really category theory. A semigroup can be defined as a ...
97 views

### What is a good definition of Hilbert space?

Motivation of my question: in my opinion, in view of the common definition, the statement "$\ell_p$ is a Hilbert space if and only if $p=2$" makes no sense because there is no inner product in the ...
5k views

### Why is there never a proof that extending the reals to the complex numbers will not cause contradictions?

The number $i$ is essentially defined for a property we would like to have - to then lead to taking square roots of negative reals, to solve any polynomial, etc. But there is never a proof this cannot ...
67 views

### Why Integral domains haven't an unified definition? [duplicate]

We can define integral domains as: rings without zero divisors commutative rings without zero divisors commutative rings with identity and without zero divisors I don't know why integral domains ...
261 views

### What is the relationship between “recursive” or “recursively enumerable” sets and the concept of recursion?

I understand that "recursive" sets are those that can be completely decided by an algorithm, while "recursively enumerable" sets can be listed by an algorithm (but not necessarily decided). I am ...
84 views

### A question about root of a polynomial

If we plug in $x$ into a polynomial and we get the value of $0$ as a result, can we be certain that $x$ is the root of the polynomial? If that is the case, why in this Wikipedia article, it says ...
463 views

### What exactly is “approximation”?

There are a lot of great "approximations" that exist in the mathematical field:$$\dfrac{22}{7} \approx \pi$$ $$e \approx \left(1 + \dfrac{1}{n}\right)^n$$But the fact that I have yet to know what ...
273 views

### What is “algebra” in $\sigma$-algebra (or “field” in $\sigma$-field)?

I know that $\sigma$ in $\sigma$-algebra stands for the closure under countable union property. What about "algebra"? Surely it cannot algebra over a field or a ring as defined in algebra textbooks. ...
63 views

### Using the notation $m^{O(1)}$

$m^{O(1)}$ denotes the set of functions $\mathbb{N} \to \mathbb{N}$ which are polynomially bounded. (Is that what is usually means?) Now it used as follows: $$f(m) \leq m^{O(1)}$$ To express that ...
149 views

### “Good” closure conditions

[Attention! This question requires some reading and it's answer probably is in form of a "soft-answer", i.e. it can't be translated into a hard mathematical proposition. (I hope I haven't scared away ...
1k views

### *Recursive* vs. *inductive* definition

I once had an argument with a professor of mine, if the following definition was a recursive or inductive definition: Suppose you have sequence of real numbers. Define $a_0:=2$ and ...
139 views

### When do modifiers denote sub or super? Pseudo-, quasi-, ultra-, strong-, well-, pre-, c0- …

One only needs to search MMA.SE, math journals, wikipedia, or god-forbid, n-cat lab, for keywords listed in the title, which can be extended with: uniform-, regular-, complete-, local-, partial-, non- ...
3k views

### What makes elementary functions elementary?

Is there a mathematical reason (or possibly a historical one) that the "elementary" functions are what they are? As I'm learning calculus, I seem to focus most of my attention on trigonometric, ...
2k views

### What is combinatorics?

I've tried to search the web and in books, but I haven't found a good definition or definitive explanation of what combinatorics is. Could anyone give me a definition/explanation of combinatorics, ...
361 views

### What does “a set of things” mean?

Suppose we defined some mathematical object $P$, where $P$ is natural number, polynomial, endofunction, geometric figure, etc. What does the expression “$A$ is a set of $P$s” mean: Set inclusion) ...
111 views

### Definition of identity in a monoid

I'm having trouble understanding the way the identity element is defined in Lang's Algebra. Below is the relevant information. Suppose we have a monoid G with elements $x_{1},...,x_{n}$. We can define ...
I have defined this simple sheaf. Take $E:set, B:set, p:E\to B$. Let $P(B)$ be a set of subsets of $B$. Let $S$ be the set of sections of $p$. Let $F$ be a contravariant functor from $P(B)$ as a poset ...