Physics Forums

Conjecture Regarding rotation of a set by a sequence of rational angles.

Consider the following sequence, where the elements are rational numbers mulriplied by $\pi$:
$(\alpha_{i}) = \hspace{2 mm}\pi/4,\hspace{2 mm} 3\pi/8,\hspace{2 mm} \pi/4,\hspace{2 mm} 3\pi/16,\hspace{2 mm} \pi/4,\hspace{2 mm} 3\pi/8,\hspace{2 mm} \pi/4,\hspace{2 mm} 3\pi/32,\hspace{2 mm} \pi/4,\hspace{2 mm} 3\pi/8,\hspace{2 mm} \pi/4,\hspace{2 mm} 3\pi/16,\hspace{2 mm} \pi/4,\hspace{2 mm} 3\pi/8,\hspace{2 mm} \pi/4,\hspace{2 mm} 3\pi/64,\hspace{2 mm} \pi/4,\hspace{2 mm} \cdots$

Let $K \subset ℝ^{2}$ be a compact set. Also let $R_{\alpha_{i}}$ denote the rotation by $\alpha_{i}$.

Suppose $R_{\alpha_{i}}K = \hspace{2 mm} K$ for each $\alpha_{i} \in (\alpha_{i})$.

Question: Is it true that for all $\theta \in [0, 2\pi)$ $R_{\theta}K = \hspace{2 mm} K$.

Note:
If instead we had the sequence $(n\alpha)$ where $\alpha$ is an irrational number, it is trivial that the conjecture holds. This is trivial due to the following fact from the study of continued fractions:
Given any real number on a circle, it can be approximated arbitrarily close by multiples of an irrational number.
But if $\alpha$ is a rational number this doesn't hold since after a finite number of rotations you will get back to where you started from. However in the question above we don't have rotations by a fixed rational number and the answer is not immediate!

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Recognitions:      Homework  Help     Science  Advisor  There are some things not making sense to me in this question. Most obviously, the sequence clearly consists of irrationals, so I guess you mean rational multiples of pi.  Secondly, I don't see any significance in showing it as a sequence, including repeats.  It seems to be used only as a set - so why the repeats? That said, if I've understood the question... K is closed under rotations by 3nπ.2-m, for all positive integers m, n. Given θ, let xi be the bits of the binary fraction expressing θ/3π.  From this you can construct a sequence of rotations converging on θ.

Quote by haruspex 					 				 				There are some things not making sense to me in this question. Most obviously, the sequence clearly consists of irrationals, so I guess you mean rational multiples of pi.
That's exactly right. Thank you for pointing that out. I corrected the question.

Quote by haruspex 					 				 				Secondly, I don't see any significance in showing it as a sequence, including repeats.  It seems to be used only as a set - so why the repeats?
The reason for the repeats is the following:
I'm preforming a symmetrization on the set K and the algorithm is such that it produces the above sequence.

I got confused myself because once I got the sequence, I thought the rule is that I must follow the sequence to get arbitrary close to a θ. But you're absolutely right. Once I show $R_{\alpha_{i}}K = K$ for each $\alpha_{i}$, I'm done. This is because of the role that "n" is playing in your solution.

When I get a little too excited I need someone to check I'm not doing something stupid. Thanks for the comment!

Thread Tools

|                                                                                               |                            |         |
|-----------------------------------------------------------------------------------------------|----------------------------|---------|
| Similar Threads for: Conjecture Regarding rotation of a set by a sequence of rational angles. |                            |         |
| Thread                                                                                        | Forum                      | Replies |
|                                                                                               | Calculus & Beyond Homework | 5       |
|                                                                                               | Calculus & Beyond Homework | 5       |
|                                                                                               | Calculus & Beyond Homework | 5       |
|                                                                                               | General Math               | 42      |
|                                                                                               | General Math               | 1       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 14, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9505913257598877, "perplexity_flag": "middle"}