A Note on Compactness and Clique Size
Say that a topological space $X$ has finite, respectively bounded, cliques iff every closed, irreflexive binary relation --- equivalently, every closed, loop-free directed graph --- on $X$ has cliques of finite, respectively bounded finite, size. Every compact space has bounded cliques. Having finite cliques implies limit-point compactness, and is implied by $ω$-limit point compactness (equivalently, countable compactness). Thus, for $T_1$ spaces, having finite cliques is equivalent to countable compactness. Having bounded cliques is strictly weaker than compactness. Indeed, any space $X$…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.13320
curl -X POST /api/v1/records/arxiv/2608.13320/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.13320/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'