{"id":"palomar/PALOMAR-2026-10-05-000009","url":"https://github.com/Arthur742Ramos/boundary-bumping-lean/tree/58831416a12f73312ac01cdaec19c060a6d4b142","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-05-000009-v1.json","repo":"https://github.com/Arthur742Ramos/boundary-bumping-lean","tags":["math.GN","msc:54D05","msc:54D30","continuum-theory","general-topology","boundary-bumping"],"score":0,"title":"Boundary Bumping for Closed Subsets of Continua","trust":"high","domain":"math.GN","source":"palomar","authors":["Arthur Freitas Ramos","David Barros Hulak","Ruy Jose Guerra Barretto de Queiroz"],"reviews":0,"subject":"math.GN","summary":"Every component of a proper closed subset of a compact connected Hausdorff space meets its frontier. Through each point of the closed subset there is a compact connected subset of it meeting that frontier.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-05","reactions":{},"formalized":true,"formalizes":[{"title":"Quotients of Bing Spaces","identifier":"https://cs.du.edu/~mathfiles/preprints/nsm-math-preprint-0609.pdf","relationship":"formalizes"}]}