hilbert-spaces
Problem-solving strategies for hilbert spaces in functional analysis
Profile →npx skills add parcadei/Continuous-Claude-v3 --skill hilbert-spaces --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Hilbert Spaces ## When to Use Use this skill when working on hilbert-spaces problems in functional analysis. ## Decision Tree 1. **Orthogonal decomposition** - For closed subspace M: H = M + M^perp (direct sum) - Every x = P_M(x) + P_{M^perp}(x) - `sympy_compute.py simplify "x - projection"` 2. **Projection Theorem** - For closed convex C, unique nearest point exists - P_C is nonexpansive: ||P_C(x) - P_C(y)|| <= ||x - y|| - `z3_solve.py prove "projection_exists_unique"` 3. **Riesz Representation** - Every f in H* has form f(x) = <x, y_f> for unique y_f - ||f|| = ||y_f|| - `z3_solve.py prove "riesz_representation"` 4. **Parseval's Identity** - For orthonormal basis {e_n}: ||x||^2 = sum|<x, e_n>|^2 - `sympy_compute.py sum "abs(<x, e_n>)**2"` 5. **Bessel's Inequality** - sum|<x, e_n>|^2 <= ||x||^2 for any orthonormal set ## Tool Commands ### Sympy_Inner_Product ```bash uv run python -m runtime.harness scripts/sympy_compute.py simplify "<x + y, z> == <x,z> + <y,z>" ``` ### Z3_Projection ```bash uv run python -m runtime.harness scripts/z3_solve.py prove "x - P_M(x) in M_perp" ``` ### Z3_Riesz ```bash uv run python -m runtime.harness scripts/z3_solve.py prove "bounded_linear_functional
- When to Use
- Decision Tree
- Tool Commands
- SympyInnerProduct
- Z3Projection
- Z3Riesz
- SympyParseval
- Key Techniques
- Cognitive Tools Reference
uv run python -m runtime.harness scripts/sympy_compute.py simplify "<x + y, z> == <x,z> + <y,z>" uv run python -m runtime.harness scripts/z3_solve.py prove "x - P_M(x) in M_perp" uv run python -m runtime.harness scripts/z3_solve.py prove "bounded_linear_functional iff inner_product_form" uv run python -m runtime.harness scripts/sympy_compute.py sum "abs(<x, e_n>)**2" --var n --from 1 --to oo
What does the hilbert-spaces skill do?
Problem-solving strategies for hilbert spaces in functional analysis
How do I install it?
Run `npx skills add parcadei/Continuous-Claude-v3 --skill hilbert-spaces --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From parcadei/Continuous-Claude-v3, a repository with 3,879 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.