It is my first post, so please be indulgent!
Here is the problem: I am in the class S of closed subsets of [0,1]^2 that are connected and have perimeter less or equal to 1.
I endow this space with the Hausdorff metric (or equivalently Fell topology), that says that for two compacts A, B, d(A,B)<=r iff every point of A is at distance less than r of B, and the other way around.
Question: Is this space compact?
Equivalent question: Is the function "perimeter" lower semi continuous on this set? (It is equivalent because the Hausdorff metric is compact for the class of all compact sets, and the class of connected sets is closed).
In other words, given a sequence of connected sets with perimeter at most 1, is it possible to see suddenly some perimeter appear at the limit? (which would be an answer "no" to the question).
The perimeter here is the 1-dimensional measure of the boundary, i.e. the infimum over all coverings of the boundary by balls of the sum of the diameters of the balls.
Remark: If one drops the assumption of connectedness, it is not true anymore (consider for instance a set of points -thus with zero perimeter- that becomes dense in the square). So this assumption is very important!
Thak you in advance!