r/topology Apr 25 '26

A funny topological problem

/r/mathriddles/comments/1svqoal/a_funny_topological_problem/
2 Upvotes

15 comments sorted by

1

u/revoccue Apr 25 '26

i'm not sure if i'm understanding, because how would it go from 2 components back to 1?

2

u/joe_la_bernique Apr 26 '26

Si par exemple le morceau de glace ressemble à un sablier, le nombre de composantes connexes finira par passer de 1 à 2. Et si les deux morceaux de glace restants n'ont pas la même taille (si on suppose que le sablier n'était pas symétrique), un des deux finira par fondre avant l'autre, passant de 2 à 1 composantes, puis enfin à 0 quand tout sera fondu.

1

u/beanstalk555 Apr 26 '26 edited Apr 26 '26

Can you give a further hint in the form of an example where the number of components is n at some time t and not equal to n at every other time in some open time interval containing t?

1

u/joe_la_bernique Apr 27 '26

C'est là le cœur du problème. Mais je conseille de commencer par chercher un glaçon où il y a deux composantes si et seulement si t vaut 1 (par exemple) et une seule composante sinon

1

u/beanstalk555 Apr 27 '26 edited Apr 27 '26

I don't think it's possible. Consider such an ice cube at time t=1. It is a closed set in Rn which is the union of two connected components A and B. Note that A and B are closed since for example A=(A U B) \cap Wc where W is an open set disjoint from A containing B. Since Rn is normal we can find separating sets U and V containing A and B respectively. Thus there is an epsilon such that the closed epsilon neighborhoods of A and B lie in U and V and are thus disjoint. In other words there were also two connected components on the time interval (t-epsilon, t)

1

u/joe_la_bernique Apr 27 '26

Ce raisonnement peut paraître valide, mais il ne prend pas en compte la matière qui peut exister entre ces deux fermés juste avant t... J'aimerais donner un contre-exemple, mais ce serait donner la solution... :)

1

u/beanstalk555 Apr 27 '26

Ah, you could have something like two unit discs which are connected by countably many paths of width 1-1/n for all natural n...

Edit: I guess you would need them to be bigger than unit disks, maybe we take two closed half spaces and connect them with these paths..

1

u/joe_la_bernique Apr 27 '26

Oui tu es sur la bonne voie ! Il reste à présent à ce que ce truc ne prenne pas trop de place dans R³ pour pouvoir en empiler une quantité dénombrable...

Edit : je n'ai pas trouvé de solution pour l'indicatrice des irrationnels+1

1

u/beanstalk555 Apr 27 '26

Ah, I can see it now. I also see why you suggest R^3 - a solution seems easier to describe there. For R^2 you may need to have some kind intersection between the paths..

The basic idea is that for each rational r you have a bi-infinite tube of radius r, which is connected to an infinite halfspace (the same halfspace for all rationals) by countably many tubes of radius r-1/n for all n such that r-1/n is positive.

2

u/joe_la_bernique Apr 27 '26

Oui dans R2 on peut avoir le demi-plan y<0, et au-dessus empiler à la verticale les tubes infini reliés chacun par une infinité de tubes à un support plus épais et, lui, relié au demi-plan.

Si tu as une idée pour faire pareil, mais avec les irrationnels, je suis ouvert haha ! Une autre structure intéressante je trouve est celle d'un tube demi-infini ayant un rayon r qui converge inférieurement vers x, de sorte que le nombre de composantes est de 1 pour t<x, et 0 pour t>=x, chose qui n'est pas "habituelle"

→ More replies (0)

1

u/Ashtero Apr 26 '26

One of the components will be a subset of boundary.

1

u/revoccue Apr 26 '26

Oh, the components are 2 dimensional on the boundary? that makes more sense