![general topology - "The closure of the unit ball of $C^1[0, 1]$ in $C[0, 1]$" and its compactness - Mathematics Stack Exchange general topology - "The closure of the unit ball of $C^1[0, 1]$ in $C[0, 1]$" and its compactness - Mathematics Stack Exchange](https://i.stack.imgur.com/Bp0CC.jpg)
general topology - "The closure of the unit ball of $C^1[0, 1]$ in $C[0, 1]$" and its compactness - Mathematics Stack Exchange
GitHub - LAC1213/compact_unit_ball: Lean proof that a normed vector space with compact unit ball is finite dimensional
![computer-assisted proof] PhD students have used Lean to prove that a normed real vector space with compact unit ball is finite-dimensional : r/math computer-assisted proof] PhD students have used Lean to prove that a normed real vector space with compact unit ball is finite-dimensional : r/math](https://external-preview.redd.it/SM8edUIaYEhDRdXvy9Tc38o7-SWlRty_mER8bevMZ5E.jpg?auto=webp&s=e28abb55e538912025e6a87ca8527dcdffe49b52)
computer-assisted proof] PhD students have used Lean to prove that a normed real vector space with compact unit ball is finite-dimensional : r/math
![real analysis - Not sure why a certain sequence of functions shows that the unit ball is not compact in $C([0,1])$? - Mathematics Stack Exchange real analysis - Not sure why a certain sequence of functions shows that the unit ball is not compact in $C([0,1])$? - Mathematics Stack Exchange](https://i.stack.imgur.com/4Q17l.png)
real analysis - Not sure why a certain sequence of functions shows that the unit ball is not compact in $C([0,1])$? - Mathematics Stack Exchange
![Geometric interpretation of the compact representation of the parameter... | Download Scientific Diagram Geometric interpretation of the compact representation of the parameter... | Download Scientific Diagram](https://www.researchgate.net/publication/358600241/figure/fig1/AS:1137349966741505@1648176771202/Geometric-interpretation-of-the-compact-representation-of-the-parameter-space-from.png)
Geometric interpretation of the compact representation of the parameter... | Download Scientific Diagram
![Linear Bushing Unit - Compact Bearing Unit - AG27-220 | Linear Bushing Unit - Compact Bearing Unit - AG27-220 |Bearing units & Accessoiries | Shaft Guidance Systems | Linear Guides | Home | Dr. Tretter Linear Bushing Unit - Compact Bearing Unit - AG27-220 | Linear Bushing Unit - Compact Bearing Unit - AG27-220 |Bearing units & Accessoiries | Shaft Guidance Systems | Linear Guides | Home | Dr. Tretter](https://www.tretter.de/media/image/da/b5/a5/Kompakt-Lagereinheit_600x600.jpg)
Linear Bushing Unit - Compact Bearing Unit - AG27-220 | Linear Bushing Unit - Compact Bearing Unit - AG27-220 |Bearing units & Accessoiries | Shaft Guidance Systems | Linear Guides | Home | Dr. Tretter
![Pet Supplies : Nerf Dog Compact Tennis Ball Blaster Gift Set, Great for Fetch, Hands-Free Reload, Launches up to 50 ft, Single Unit, Includes 3 Balls, 4791, Translucent Blue : Amazon.com Pet Supplies : Nerf Dog Compact Tennis Ball Blaster Gift Set, Great for Fetch, Hands-Free Reload, Launches up to 50 ft, Single Unit, Includes 3 Balls, 4791, Translucent Blue : Amazon.com](https://m.media-amazon.com/images/I/81gkvly8gIL._AC_UF1000,1000_QL80_.jpg)
Pet Supplies : Nerf Dog Compact Tennis Ball Blaster Gift Set, Great for Fetch, Hands-Free Reload, Launches up to 50 ft, Single Unit, Includes 3 Balls, 4791, Translucent Blue : Amazon.com
![VXB Brand AK12GUU NB 12mm Compact Block Unit Motion Linear Bearings Type: Linear Ball Bushing Shaft Diameter: 12mm Quantity: One Bearing: Amazon.com: Industrial & Scientific VXB Brand AK12GUU NB 12mm Compact Block Unit Motion Linear Bearings Type: Linear Ball Bushing Shaft Diameter: 12mm Quantity: One Bearing: Amazon.com: Industrial & Scientific](https://m.media-amazon.com/images/I/41HX5fFK3+L._AC_UF894,1000_QL80_.jpg)
VXB Brand AK12GUU NB 12mm Compact Block Unit Motion Linear Bearings Type: Linear Ball Bushing Shaft Diameter: 12mm Quantity: One Bearing: Amazon.com: Industrial & Scientific
![compactness - Show that the closed unit ball $B[0,1]$ in $C[0,1]$ is not compact - Mathematics Stack Exchange compactness - Show that the closed unit ball $B[0,1]$ in $C[0,1]$ is not compact - Mathematics Stack Exchange](https://i.stack.imgur.com/WcxKk.gif)
compactness - Show that the closed unit ball $B[0,1]$ in $C[0,1]$ is not compact - Mathematics Stack Exchange
![real analysis - Will the "closed" unit ball $\left\| x \right\| \le 1$ in $\Bbb R^n$ be a compact set for any norm? - Mathematics Stack Exchange real analysis - Will the "closed" unit ball $\left\| x \right\| \le 1$ in $\Bbb R^n$ be a compact set for any norm? - Mathematics Stack Exchange](https://i.stack.imgur.com/MD2uR.png)