ریاضیات

سرشتِ خاموشِ تقارن‌ها: کالبدشکافیِ $\text{Aut}(\mathbb{R})$ و $\text{Aut}(\mathbb{Q})$

در سفرِ معرفت‌شناختیِ خود به درونِ قلعه‌یِ جبر، گاه به مرزهایی می‌رسیم که در آنجا، تقارن معنایِ خود را از دست می‌دهد یا به وحدتِ مطلق می‌رسد. در یادداشت‌هایِ دست‌نویسِ استاد، پرسشی بنیادین مطرح شده است: چند تقارن (اتومورفیسم) درونِ اعدادِ گویا ($\mathbb{Q}$) و اعدادِ حقیقی ($\mathbb{R}$) وجود دارد که ساختارِ آن‌ها را حفظ کند؟

تنهاییِ مطلق در میدانِ گویا و حقیقی

پاسخِ ریاضی، در عینِ سادگی، بسیار شگفت‌انگیز است: $\text{Aut}(\mathbb{Q}) = 1$ و $\text{Aut}(\mathbb{R}) = 1$.

این یعنی چه؟ یعنی اعدادِ گویا و اعدادِ حقیقی، چنان در بنیادِ خویش استوارند و چنان حصارِ محکم به دورِ خود کشیده‌اند که هیچ تقارنِ غیربدیهی (متفاوتی) نمی‌تواند آن‌ها را به خودشان نگاشت کند جز «همانی» (Identity). هیچ آینه‌یِ دیگری در این دنیا وجود ندارد که بتواند اعدادِ حقیقی را به شیوه‌ای نو بازتاب دهد و در عین حال، جمع و ضربِ آن‌ها را دست‌نخورده باقی بگذارد.

پلی از ترتیب به تقارن

در دست‌نویس‌ها می‌بینیم که چگونه با استفاده از ویژگیِ نظم ($\forall x_1, x_2 \in \mathbb{R}$ اگر $x_1 < x_2$ آنگاه $f(x_1) < f(x_2)$)، ثابت می‌شود نگاشتِ $f$ باید بر رویِ اعدادِ گویا همانی باشد، و از آنجا به کمکِ چگالیِ گویا در حقیقی، کلِ میدانِ حقیقی به بندِ ثبات کشیده می‌شود. این یعنی حقیقت، انعطاف‌ناپذیر است.

این تنها آغازِ کار است. در نوشتارهایِ بعدی، به سراغِ آن خواهیم رفت که چگونه وقتی از این میدان‌هایِ ساده فاصله می‌گیریم و به «توسیع‌هایِ رادیکالی» وارد می‌شویم، پرده‌یِ تقارن‌ها بالا می‌رود و رقصِ گروه‌ها آغاز می‌گردد... ادامه دارد.