# Tagged Questions

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

59 views

### Does a bijection between two sets $A$ and $B$ implies $P(a \in C ) = P(b \in C)$, if $A,B \subset C$?

I'm just thinking about it. For example, a bijection between $\mathbb{Z^*_+}$ and $\mathbb{Q}$ implies that the probability of a random real number being rational or positive integer is the same (in ...
64 views

### What is a Complete Set of Weights of a Representation of a Lie Subalgebra?

In relation to Lie Group and Lie Algebra theory, I am studying about the weights of representations. I have come across the terminology "a complete string of weights" in my lecture course, but it is ...
84 views

### Why does $0/0$ have to be undefined? [duplicate]

Why can't it no be $\pm$ Infinity? If $x/1$ is $x$ then $x/0$ should be $\pm$ Infinity.
115 views

### Difference between a vector space and an algebra

I'm new to the subject of algebras and I would like to get a better understanding of what they are exactly. Am I right to say the follwing: ...
250 views

### Word for “openness”/“closedness” of an interval

What word properly completes the phrase the radius of convergence does not depend on the $\text{______}$ of the interval to mean that it doesn't matter whether $(a, b)$, $[a, b)$, $(a, b]$, or ...
40 views

### Convergence of vector spaces

I'm considering vector spaces over $\mathbb{R}$ or $\mathbb{C}$ : $(E_n)_n$ is a sequence of vector space (all included in $\mathbb{R}^p$ for example, with $p$ fixed). What meaning(s) do we usually ...
68 views

### Some troubles about topology and definition of a Vector Bundle

Disclaimer: It's heavily related to my old question : Visualizing the Topology of a Vector Bundle but I wanted to open a new question because the former had already got an answer and this time my ...
36 views

### Formal notation for finite intersection

How to state following sentence formally? Let $\tau$ be family of sets (possibly infinite). Any finite intersection of sets in $\tau$ is in $\tau$. My attempt is: $\tau$ is family of sets and ...
38 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 ...
2k views

### What is the meaning of an “objective function” ?

I have studied Mathematics in french. Right now I am in front of this expression "objective function" and "objective functionals". I don't know its meaning, some one can help please ?
1k views

### The difference between hermitian, symmetric and self adjoint operators.

I am struggling with the concept of hermitian operators, symmetric operators and self adjoint operators. All of the relevant material seems quite self contradictory, and the only notes I have to go ...
3k views

### Positive and negative complex numbers?

Can there be such a thing as positive and negative complex numbers? Why or why not? What about positive or negative imaginary numbers? It seems very tempting to say $+5i$ is a positive number ...
109 views

### Why is $|z|^2 = z z^*$?

I've been working with this identity but I never gave it much thought. Why is $|z|^2 = z z^*$ ? Is this a definition or is there a formal proof?
32 views

### Is there any definition for homogeneous rotations?

Most of the geometric transformations can only be represented into square matrices via homogeneous coordinates, e.g., translation and 3D rotations with axes not through coordindate system origin. ...
27 views

### Reusing Variables First Order Logics

Assume we have a parametrized FO formula of this form: $$\varphi(x_1,x_2, y_1, \dots ,y_m) := \xi(x_1,x_2) \land \psi(y_1,\dots,y_m)$$ We want to use as few additional bound (quantified by $\exists$ ...
20 views

### Borel - Regular elements

In Borel's Linear Algebraic Groups (2ed) page 160 a regular element is defined in terms of its semisimple part, “thus $g$ is regular if and only if $g_s$ is regular.” A unipotent element $g$ has ...
138 views

### How is addition on N formally defined in textbooks on real analysis?

This is a follow-up question to Why does the definition of addition require proofs? In Landau's Foundations of Analysis, his definition of addition on the natural numbers seems a bit strange to me -- ...
34 views

### How would you define the square of the linear operator

If you define the linear operator norm of $A:X\to Y$ to be $$\|A\|_{op} = \inf\{C>0: \|Ax\|_Y \leq C\|x\|_X \text{ for all } x \in X \}$$ Then how would you define $\|A\|_{op}^2$? My guess is you ...
71 views

### Defining the integral of differential $1$-forms

Assume $M$ is a smooth manifold, $g:[0,1]\to M$ is a smooth curve on $M$, and $w$ is $1$-form on $M$. Definition: $$\int_gw=\lim_{\Delta\to 0}\sum_{i=1}^nw(x_i)$$ The tangent vectors $x_i$ are ...
88 views

### Equivalence between submodular function definitions.

I am trying to show that the definitions, given by wikipedia, of a submodular set function are equivalent. See section definition of: http://en.wikipedia.org/wiki/Submodular_set_function. Mainly I ...
1k views

### Graph Theory: What is the definition of the “Sorted Edge” algorithm?

I've been googling for a while and can't find a clear definition of the "sorted edge" algorithm--can anyone provide it please? A description would be helpful, but a simple statement of the algorithm ...