![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
![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
![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
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
![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)