MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## Tagged Questions

6 views

### Сonvergence of the sum

This is a problem from my exam on functional analysis. I did only trivial case and now I'm just curious about another cases. Let $T : H \rightarrow H$ is a linear continuous unit …
335 views

85 views

### How do we express measurable spaces using type theory?

A measurable space $(X,\mathcal X)$ consists of a set $X$ equipped with a $\sigma$-algebra of subsets $\mathcal X$. I would like to write computer programs involving measurable spa …
41 views

### Symmetric convex curve

Assume that $\gamma$ is a symmetric convex curve w.r.t. two orthogonal lines (such a curve is the ellipse). Is the following statement true. There exists a $(l,L)$-bi-Lipschitz map …
Let $x_1,\ldots,x_N \in \{0,1\}^D$ be $N$ binary vectors, assumed affinely independent. Is there an efficient algorithm for determining whether a new binary vector $x_{N+1}$ is in …