Let $\Omega$ be a measure space with measure $\lambda$. Denote the space of simple functions by: $$\mathcal{S}:=\{s:\Omega\to\mathbb{C}:s=\sum_{k=1}^{K<\infty}s_k\chi_{A_k:\lambda(A_k)<\infty}\}$$ Denote the positive and negative part of the real and imaginary part by: $$f=\Re_+f-\Re_-f+i\Im_+f-i\Im_-f=:\sum_{\alpha=0\ldots3}i^\alpha f_\alpha$$ Define for positive functions: $$\int fd\lambda:=\sup_{s\in\mathcal{S}:s\leq f}\int sd\lambda\quad(f\geq 0)$$ and for complex functions: $$\int fd\lambda:=\sum_{\alpha=1\ldots3}i^\alpha\int f_\alpha d\alpha$$ as long as all terms of […]

The wikipedia definition of lambda terms is: The following three rules give an inductive definition that can be applied to build all syntactically valid lambda terms: a variable, $x$, is itself a valid lambda term if $t$ is a lambda term, and $x$ is a variable, then $(\lambda x.t)$ is a lambda term (called a […]

For simplicity, let’s focus on the two-dimensional case (the hyperbolic plane in 3-space). I have seen the hyperboloid model defined as variations on the following i) The positive sheet of a two-sheeted hyperboloid (i.e. points that fulfill the equations $x^2 – y^2 – z^2 = 1, x>0$). ii) This is in Minkowski space. iii) The […]

Not sure if this question is on topic. I am looking for a nice correct and succinct way to describe “2 lines are limiting parallel ” that is: Understandable for newbies to hyperbolic geometry. Geometrically correct not mentions “ideal points”. (because they don’t really exist. “going in the same direction” is also not allowable, lines […]

The definition I have of a tensor product of vector finite dimensional vector spaces $V,W$ over a field $F$ is as follows: Let $v_1, …, v_m$ be a basis for $V$ and let $w_1,…,w_n$ be a basis for $W$. We define $V \otimes W$ to be the set of formal linear combinations of the mn […]

The introduction to group theory that I’m reading requires that the actions of a group are “deterministic”; but the formal definition given makes no mention of this property: A set G is a group if the following criteria are satisfied. There is a binary operation $\cdot$ on $G$. That operation is associative… There is an […]

Harry Altman presented an excellent question in a comment here: What needs to be linear for the problem to be considered linear? So is it enough to a have linear objective function or other requirements for example to the smoothness?

Wikipedia says that: A real-valued function $f$ defined on a real line is said to have a local (or relative) maximum point at the point $x^*$, if there exists some $\varepsilon > 0$ such that $f(x^*) \ge f(x)$ whenever $\lvert x − x^*\rvert < \varepsilon$. The value of the function at this point is called […]

This is actually a question about categories; not only about the category that I mention here specifically. I only use category $\mathsf{Rel}$ as an example. How to describe a morphism that belongs to $\mathsf{Rel}^{op}\left(B,A\right)=hom_{\mathsf{Rel}^{op}}\left(B,A\right)$? As a triple $\left(A,R,B\right)$ or as a triple $\left(B,R,A\right)$ where in both cases $R\subseteq A\times B$? ACC tells me: “…Thus $\mathcal{A}$ […]

If the empty set is a subset of every set, why it isn’t written with the elements of a set? like so $\{1,2,3,\emptyset\}$ Or why isn’t $\{\emptyset,\{a\}\}=\{\{a\}\}$? I know one has two elements and the other has 1 but since the empty set is a subset of both, then why it isn’t being mentioned explicitly […]

Intereting Posts

Partition of a set
The square root of a prime number is irrational
If $P \leq G$, $Q\leq G$, are $P\cap Q$ and $P\cup Q$ subgroups of $G$?
Is there anything special about a transforming a random variable according to its density/mass function?
Arranging letters with two letters not next to each other
Seeking proof for the formula relating Pi with its convergents
$\operatorname{Ext}$ and injectives, respectively projectives
A closed form of $\int_0^1\frac{\ln\ln\left({1}/{x}\right)}{x^2-x+1}\mathrm dx$
How many combinations of 20 balls can be drawn from a bag of 10 blue balls and a bag of 10 red balls
Is linear algebra more “fully understood” than other maths disciplines?
Characterization of weak convergence in $\ell_\infty$
Find a conformal map from the disc to the first quadrant.
Can someone please explain the Riemann Hypothesis to me… in English?
Rate of change of direction of vector-valued function
X nonnegative and integral equal to zero implies measure of positive part zero