What's wrong with this 'open cover' of the Koch Snowflake?

807 Views Asked by At

This question is to help me find peace.

First, the question of the Snowflake's compactness has been tackled here on this site:

But I'm inclined to believe it is not. The only reason Henning Makholm's argument does not fully convince me is because I believe I can come up with an open cover without finite subcover. What you do is surround each triangle with an open triangle small enough so that it doesn't intersect the 'sprouts' two levels down which sprouted out of the first iteration, and then repeat that ad infinitum. I hope this picture helps (the grey lines represents the open sets):

enter image description here

So, my question is why does this open cover have a finite subcover?

2

There are 2 best solutions below

3
On BEST ANSWER

It's not an open cover. Take a point of a "sprout" that is not in open set number $n$. These can be chosen to converge (and in any case some subsequence must converge). The limit is in the snowflake but not in any of your open sets.

1
On

The curve is the image of a continuous function over the set $[0,1]$ as you can see in the answer that you post. Therefore, as compactness is preserved under continuous functions, the Koch curve is compact.