compactness
CommunitySolve topology compactness problems.
Authorscooter-lacroix
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill provides strategies and tools for solving problems related to compactness in topology, a fundamental concept in advanced mathematics.
Core Features & Use Cases
- Compactness Identification: Helps determine if a given space or subset is compact using various criteria (Heine-Borel, sequential compactness, open covers).
- Property Application: Explains and applies consequences of compactness, such as continuous images of compact sets being compact.
- Use Case: When faced with a question like "Is this subset of R^n compact?", this skill guides you through checking if it's closed and bounded, or applying other relevant theorems.
Quick Start
Use the compactness skill to prove that a given set is bounded and closed.
Dependency Matrix
Required Modules
z3-solversympy
Components
scriptsreferences
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: compactness Download link: https://github.com/scooter-lacroix/Maestro/archive/main.zip#compactness Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.