/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

yozh.org
| | cronokirby.com
3.3 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2021/02/tychonoff-theorem-and-zorns-lemma/
| | djalil.chafai.net
3.1 parsecs away

Travel
| | This post is mainly devoted to a probabilistic proof of a famous theorem due to Schoenberg on radial positive definite functions. Let us begin with a general notion: we say that \( {K:\mathbb{R}^d\times\mathbb{R}^d\rightarrow\mathbb{R}} \) is a positive definite kernel when \[ \forall n\geq1, \forall x_1,\ldots,x_n\in\mathbb{R}^d, \forall c\in\mathbb{C}^n, \quad\sum_{i=1}^n\sum_{j=1}^nc_iK(x_i,x_j)\bar{c}_j\geq0. \] When \( {K} \) is symmetric, i.e. \( {K(x,y)=K(y,x)} \) for...
| | thehousecarpenter.wordpress.com
3.3 parsecs away

Travel
| | As usual, this post can be viewed as a PDF. Theorem (Boundedness Theorem). A continuous real-valued function on a closed interval is bounded. Proof. Suppose f is such a function and [a,?b] is its domain. First, observe that for every c?[a,?b], since f is continuous at c, there is a positive $latex \delta \in {\mathbb...
| | mycqstate.wordpress.com
43.8 parsecs away

Travel
| This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will...