/explore
|
You are here 
|
relatedwork.blogspot.com | ||
| | | | |
www.jeremykun.com
Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up into more complex ones. This will take the form of subspaces and quotients, and through these we will make rigorous the notion of "gluing" and "building" spaces. |
|
| | | | | ||
| | | | |
leanprover-community.github.io
[AI summary] This blog post discusses the formalization of topology and related concepts in the Lean theorem prover, covering typeclasses, filters, compactness, Hausdorff spaces, and file organization within the mathlib library. |
|
| | | | | ||
| | | | |
jeremykun.wordpress.com
Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up... |
|
| | | | | ||
| | | | |
ckrao.wordpress.com
In this post I would like to prove the following identity, motivated by this tweet. $latex \displaystyle n! \prod_{k=0}^n \frac{1}{x+k} = \frac{1}{x\binom{x+n}{n}} = \sum_{k=0}^n \frac{(-1)^k \binom{n}{k}}{x+k}$ The first of these equalities is straightforward by the definition of binomial coefficients. To prove the second, we make use of partial fractions. We write the expansion $latex \displaystyle... |
|
| | | |||
