مقدمة: إعادة التفكير في مفهوم البعد
يُعتبر الفضاء الذي نختبره في حياتنا اليومية فضاءً إقليدياً ثلاثي الأبعاد. فالخط على الورق أحادي البعد، والمستوى ثنائي الأبعاد، والمجسم ثلاثي الأبعاد. هذا الحدس الراسخ شكّل أساس إدراك البشرية للفضاء لآلاف السنين، منذ إقليدس في اليونان القديمة. ومع ذلك، عند ملاحظة الأشكال المعقدة في الطبيعة، يواجه نموذج “الأبعاد الصحيحة” هذا حدوداً حاسمة. فالغيوم ليست مجالات كروية، والجبال ليست مخاريط، والسواحل ليست أقواساً دائرية. إن تفرع الأشجار، وشبكات الأوعية الدموية، ومسارات البرق، والعديد من الأشكال الموجودة في الطبيعة تمتلك بشكل أساسي “خشونة (roughness)” تختلف عن الأجسام الملساء في الهندسة الإقليدية.
لقد وُلدت “الهندسة الفراكتلية” كلغة جديدة لوصف هذا التعقيد في الطبيعة بشكل رياضي. وما يدعم أسسها النظرية هو “مقياس هاوسدورف” و"بعد هاوسدورف" المرتبط به، وهما مفهومان نابعان من أعماق التحليل الحقيقي ونظرية القياس. في هذا المقال، سنشرح بالتفصيل كيف يتم تعريف البعد الفراكتلي، وكيف يُحسب، وكيف يُطبق لفهم الظواهر الطبيعية، بدءاً من الهندسة البديهية وصولاً إلى نظرية القياس الصارمة.
الفصل الأول: حدود الهندسة الإقليدية و"خشونة الطبيعة"
سؤال بينوا ماندلبروت “ما هو طول ساحل بريطانيا؟”
هناك سؤال شهير يرمز إلى بداية الهندسة الفراكتلية. وهو “ما هو طول ساحل بريطانيا؟ (How Long Is the Coast of Britain?)"، وهو عنوان ورقة بحثية نشرها بينوا ماندلبروت (Benoit Mandelbrot) عام 1967 في مجلة “Science”.
للوهلة الأولى، يبدو هذا السؤال مجرد مشكلة في القياس والمساحة. لكنه كان يخفي مفارقة عميقة. لغرض قياس طول الساحل، لنفترض أننا نستخدم مسطرة ذات طول معين (على سبيل المثال، طولها $\eta = 100 \text{ km}$) لتقريب خط الساحل. إذا قمنا بتصغير طول المسطرة ($\eta = 10 \text{ km}, 1 \text{ km}, 1 \text{ m}, \dots$)، فماذا سيحدث للطول الإجمالي المُقاس؟ بالنسبة لمنحنى أملس (مثل دائرة أو قطع مكافئ)، كلما صغّرنا المسطرة، فإنه يتقارب نحو قيمة معينة محدودة. هذا هو التعريف الكلاسيكي لطول المنحنى (طول القوس).
ومع ذلك، في السواحل الحقيقية، لا يحدث هذا. فكلما صغّرنا المسطرة أكثر، كلما دخلت الخلجان الصغيرة والنتوءات الصخرية التي كانت مخفية بين طرفي المسطرة ضمن القياس، مما يؤدي إلى زيادة طول الساحل بشكل غير محدود. بعبارة أخرى، في النهاية عندما يقترب مقياس القياس $\eta$ من $0$، يتباعد طول الساحل $L(\eta)$ نحو المالانهاية.
تأثير ريتشاردسون
تم اكتشاف هذه الظاهرة تجريبياً من قبل عالم الأرصاد الجوية لويس فراي ريتشاردسون (Lewis Fry Richardson). قام ريتشاردسون بقياس أطوال حدود وسواحل دول مختلفة بمقاييس مختلفة، واكتشف أن هناك قانون قوة يتحقق بين مقياس القياس $\eta$ والطول المُقاس $L(\eta)$ على النحو التالي:
$$ L(\eta) \propto \eta^{1-D} $$هنا، $D$ هو ثابت، وكلما كان الساحل أكثر تعقيداً، زادت قيمة $D$. تعامل ريتشاردسون نفسه مع $D$ كثابت تجريبي، لكن ماندلبروت قدم له تفسيراً رياضياً عميقاً. بعبارة أخرى، اعتبر أن هذا $D$ يمثل “البعد” الخاص بالشكل.
في حالة منحنى أحادي البعد أملس، يكون $D=1$، ويصبح $L(\eta) \propto \eta^0 = 1$، حيث يتقارب الطول إلى قيمة ثابتة. لكن في حالة الحدود شديدة التعقيد مثل ساحل بريطانيا، يكون $D \approx 1.25$، وبما أن $1 - D = -0.25 < 0$، فعندما $\eta \to 0$ فإن $L(\eta) \to \infty$. هذا البعد الحقيقي الأكبر من $1$ والأصغر من $2$ كان البداية الأولى لمفهوم “البعد الفراكتلي”.
الفصل الثاني: التشابه الذاتي والبعد التشابهي
كلمة فراكتل (fractal) مشتقة من الكلمة اللاتينية “fractus” (مكسور، مجزأ)، وقد صاغها ماندلبروت. من أهم الخصائص الأساسية للفراكتلات هي “التشابه الذاتي (self-similarity)”. ويقصد بها الخاصية التي تجعلنا عندما نكبر الشكل بأكمله، نجد بداخله نفس البنية الهيكلية للكل.
من خلال استغلال هذا التشابه الذاتي، يمكن استنتاج تعريف بديهي للبعد يُسمى “البعد التشابهي (Similarity Dimension)”.
الاستنتاج البديهي للبعد التشابهي $D$
دعونا نفكر في خصائص الأشكال الإقليدية الملساء.
- إذا تم تصغير قطعة مستقيمة أحادية البعد بمقياس $1/r$، فستحتاج إلى $r^1$ من هذه القطع المصغرة لتكوين القطعة الأصلية.
- إذا تم تصغير مربع ثنائي الأبعاد بجعل كل ضلع $1/r$، فستحتاج إلى $r^2$ من المربعات الصغيرة لتكوين المربع الأصلي.
- إذا تم تصغير مكعب ثلاثي الأبعاد بجعل كل ضلع $1/r$، فستحتاج إلى $r^3$ من المكعبات الصغيرة لتكوين المكعب الأصلي.
وبحل المعادلة بالنسبة للبعد $d$، يمكننا تعريفه على النحو التالي:
$$ d = \frac{\log N}{\log r} $$هذا التعريف عند توسيعه ليشمل الأشكال ذات التشابه الذاتي التي لا تمتلك أبعاداً صحيحة، يُعرف باسم “البعد التشابهي”.
$$ D_s = \frac{\log N}{\log(1/r)} $$هنا، $r$ هو نسبة التصغير ($0 < r < 1$)، و $N$ هو العدد المطلوب من الأشكال المصغرة لتغطية الشكل الأصلي بالكامل. (إذا جعلنا $r$ كنسبة تصغير، فإن المقام يصبح $\log(1/r)$. في المثال السابق كنا نعتبر $r$ نسبة تكبير، لذا يجب الانتباه لتعريف الرموز).
مجموعة كانتور (Cantor Set)
هذه المجموعة التي قدمها جورج كانتور في عام 1883 هي واحدة من أهم الأمثلة المضادة في نظرية القياس. طريقة بنائها هي كالتالي:
- نبدأ بالفترة $[0, 1]$ (الخطوة 0).
- نزيل الثلث الأوسط وهو $(1/3, 2/3)$ (الخطوة 1: الفترات المتبقية هي $[0, 1/3] \cup [2/3, 1]$).
- نزيل الثلث الأوسط من كل فترة متبقية.
- نكرر هذه العملية إلى ما لا نهاية.
وهي مجموعة أكبر من البعد 0 (نقطة) وأصغر من البعد 1 (خط). ومما يثير الدهشة أن مقياس ليبيج (الطول) لهذه المجموعة هو $0$، ومع ذلك فهي تحتوي على عدد لا نهائي غير قابل للعد من النقاط.
منحنى كوخ (Koch Curve)
هو منحنى متصل ولكن غير قابل للاشتقاق في أي نقطة، صممه هيلج فون كوخ في عام 1904.
- قسّم القطعة المستقيمة إلى 3 أجزاء متساوية.
- استبدل الجزء الأوسط بضلعين لمثلث متساوي الأضلاع قاعدته هو ذلك الجزء.
- كرر هذه العملية على جميع القطع المستقيمة.
مثلث سيربنسكي (Sierpinski Gasket)
$$ D = \frac{\log 3}{\log 2} \approx 1.5849 $$مساحته (مقياس ليبيج ثنائي الأبعاد) هي 0، لكن طوله أحادي البعد لا نهائي.
الفصل الثالث: القياس الخارجي لهاوسدورف والتعريف الصارم لبعد هاوسدورف
البعد التشابهي بديهي وسهل الحساب، ولكنه لا يُطبق إلا على الأشكال ذات “التشابه الذاتي الصارم”. لتحديد أبعاد الفراكتلات في الطبيعة أو المجموعات الرياضية المعقدة (المجموعات التي تفقد التشابه الذاتي)، هناك حاجة إلى تعريف صارم وشامل للبعد يعتمد على التحليل الحقيقي ونظرية القياس. هذا هو “بعد هاوسدورف (Hausdorff Dimension)”.
في عام 1918، قام فيليكس هاوسدورف بتوسيع نهج كاراثيودوري في نظرية القياس لتعريف القياس الخارجي ذي البعد $d$ لأي عدد حقيقي غير سالب $d$.
التغطية-$\delta$ ($\delta$-cover)
$$ E \subset \bigcup_{i=1}^\infty U_i \quad \text{و} \quad \operatorname{diam}(U_i) \leq \delta $$فإننا نطلق عليها اسم التغطية-$\delta$ للمجموعة $E$. هنا، $\operatorname{diam}(U_i)$ هو قطر (المسافة العليا) المجموعة $U_i$ والذي يساوي $\sup_{x,y \in U_i} \|x - y\|$.
القياس الخارجي لهاوسدورف $\mathcal{H}^d(E)$
نثبت عدداً حقيقياً غير سالب $d \geq 0$. لأي تغطية-$\delta$ $\{U_i\}$ للمجموعة $E$، ننظر إلى مجموع القطر لكل منها مرفوعاً للقوة $d$، ونأخذ الحد الأدنى (infimum).
$$ \mathcal{H}_\delta^d(E) = \inf \left\{ \sum_{i=1}^\infty (\operatorname{diam} U_i)^d \mathrel{\Big|} \{U_i\} \text{ هي تغطية- } \delta \text{ لـ } E \right\} $$كلما جعلنا $\delta$ أصغر، تصبح شروط التغطية أكثر صرامة، وبالتالي تضيق مجموعة الحدود الدنيا، مما يجعل $\mathcal{H}_\delta^d(E)$ دالة رتيبة غير متناقصة. لذلك، فإن النهاية عندما $\delta \to 0$ موجودة (بما في ذلك $\infty$).
$$ \mathcal{H}^d(E) = \lim_{\delta \to 0} \mathcal{H}_\delta^d(E) = \sup_{\delta > 0} \mathcal{H}_\delta^d(E) $$نطلق على $\mathcal{H}^d(E)$ اسم مقياس هاوسدورف ذي البعد $d$. من وجهة نظر نظرية القياس، هذا قياس خارجي يمتلك اكتمال بوريل (ويستوفي شرط كاراثيودوري)، ويصبح قياساً حقيقياً يحقق الإضافة القابلة للعد على عائلة مجموعات بوريل.
في حالة كون البعد $d = n$ عدداً صحيحاً، فإن $\mathcal{H}^n(E)$ يختلف فقط بمضاعف ثابت عن مقياس ليبيج المعتاد ذي البعد $n$ (وبتعديل ثابت التطبيع، فإنهما يتطابقان تماماً).
بعد هاوسدورف كقيمة حرجة قفزية $\dim_H(E)$
$$ \sum (\operatorname{diam} U_i)^s = \sum (\operatorname{diam} U_i)^{s-d} (\operatorname{diam} U_i)^d \leq \delta^{s-d} \sum (\operatorname{diam} U_i)^d $$عندما $\delta \to 0$، فإن $\delta^{s-d} \to 0$، ولذلك يصبح $\mathcal{H}^s(E) = 0$. وبالعكس، إذا كان $\mathcal{H}^s(E) > 0$، فإنه لأي $d < s$، يكون $\mathcal{H}^d(E) = \infty$.
بمعنى آخر، إذا قمنا بزيادة $d$ من $0$，فإن $\mathcal{H}^d(E)$ يكون دائماً $\infty$ حتى نقطة حرجة معينة، وبمجرد تجاوز هذه النقطة يصبح دائماً $0$، مما يُظهر “قفزة” متطرفة. نُعرف هذه القيمة الحرجة لـ $d$ على أنها بعد هاوسدورف (Hausdorff Dimension).
$$ \dim_H(E) = \inf \{ d \geq 0 \mid \mathcal{H}^d(E) = 0 \} = \sup \{ d \geq 0 \mid \mathcal{H}^d(E) = \infty \} $$الجمال المذهل لهذا التعريف يكمن في أنه يحدد البعد بدقة وبشكل فريد لأي مجموعة جزئية في أي فضاء متري، سواء كانت المجموعة المستهدفة $E$ تفتقر إلى التشابه الذاتي أو كانت مجموعة مرضية (pathological set) من أي نوع. يتطابق بعد هاوسدورف لمجموعة كانتور ومنحنى كوخ تماماً مع البعد التشابهي المذكور سابقاً.
الفصل الرابع: بعد عد الصناديق (بعد السعة)، وبعد المعلومات، وبعد التعبئة
على الرغم من أن بعد هاوسدورف هو المفهوم الأكثر رقياً من الناحية الرياضية، إلا أنه غير مناسب للحسابات العددية وتحليل البيانات التجريبية (لأنه يتطلب إيجاد الحد الأدنى من أنماط التغطية اللانهائية، ثم أخذ النهاية). لذلك، في الرياضيات التطبيقية والفيزياء، يتم استخدام تعريفات أكثر قابلية للحساب للبعد الفراكتلي.
بعد عد الصناديق (بعد السعة، Box-counting Dimension)
نقوم بتقسيم الفضاء بشبكة ذات صناديق طول ضلعها $\varepsilon$، ونفترض أن عدد الصناديق (نقاط الشبكة) التي تتقاطع مع المجموعة المستهدفة $E$ هو $N(\varepsilon)$. عندئذ، يُعرّف بعد عد الصناديق $\dim_B(E)$ على النحو التالي:
$$ \dim_B(E) = \lim_{\varepsilon \to 0} \frac{\log N(\varepsilon)}{-\log \varepsilon} $$هذا التعريف عملي للغاية، وهو أساس الخوارزميات (مثل طريقة التغطية) المستخدمة لتقدير البعد الفراكتلي في مجالات مثل تحليل الصور. ومع ذلك، له أيضاً عيوب رياضية. على سبيل المثال، مجموعة الأعداد النسبية $\mathbb{Q} \cap [0,1]$ لها بعد عد صناديق يساوي $1$، لكن بعد هاوسدورف لها هو $0$ لأنها مجموعة قابلة للعد. بشكل عام، تتحقق العلاقة $\dim_H(E) \leq \dim_B(E)$.
بعد المعلومات (Information Dimension) والأبعاد المعممة
عندما تمتلك المجموعة الفراكتلية توزيعاً غير منتظم، فإن مجرد عد الصناديق لا يكون كافياً. إذا اعتبرنا المقياس (الاحتمال) الموجود في كل صندوق $i$ هو $P_i$، فباستخدام إنتروبيا شانون $I(\varepsilon) = - \sum P_i \log P_i$، يُعرّف بعد المعلومات $D_1$ كالتالي:
$$ D_1 = \lim_{\varepsilon \to 0} \frac{\sum P_i \log P_i}{\log \varepsilon} $$علاوة على ذلك، في نظرية “متعدد الفراكتلات (Multifractals)” المستندة إلى إنتروبيا ريني (Alfréd Rényi) الموسعة، يتطور هذا إلى مفهوم البعد المعمم (بعد ريني) $D_q$.
بعد التعبئة (Packing Dimension)
بعد التعبئة $\dim_P(E)$ الذي قدمه Tricot في الثمانينيات هو مفهوم مزدوج لبعد هاوسدورف. في حين يتخذ بعد هاوسدورف نهج “تغطية المجموعة”، يتخذ بعد التعبئة نهج “تعبئة الكرات (packing) داخل المجموعة”. بشكل دقيق، تتحقق العلاقة $\dim_H(E) \leq \dim_P(E) \leq \dim_{\overline{B}}(E)$ (بعد عد الصناديق العلوي)، وهذا يجعله أداة قوية جداً في تحليل المجموعات الاحتمالية.
الفصل الخامس: النظم الديناميكية المعقدة لمجموعات ماندلبروت وجوليا
عند الحديث عن الهندسة الفراكتلية، لا يمكننا تجاهل عالم النظم الديناميكية المعقدة (Complex Dynamics). وبشكل خاص، تُعتبر “مجموعة ماندلبروت (Mandelbrot set)"، التي تنشأ من تطبيق تربيعي بسيط جداً على المستوى المركب، واحدة من أكثر الأشكال تعقيداً وجمالاً في تاريخ الرياضيات.
التطبيق التربيعي المركب $z_{n+1} = z_n^2 + c$
لنعتبر نظاماً ديناميكياً باستخدام العدد المركب $c \in \mathbb{C}$ كمعامل متغير. انطلاقاً من القيمة الابتدائية $z_0 = 0$، نُنشئ المتتالية $\{z_n\}$ باستخدام العلاقة التكرارية التالية:
$$ z_{n+1} = z_n^2 + c $$مجموعة المعاملات $c$ التي لا تتباعد فيها هذه المتتالية عندما $n \to \infty$ وتبقى مقيدة، تُسمى مجموعة ماندلبروت $\mathcal{M}$.
$$ \mathcal{M} = \left\{ c \in \mathbb{C} \mathrel{\Big|} \sup_{n} |z_n| < \infty, \text{ علماً بأن } z_0 = 0 \right\} $$من ناحية أخرى، إذا ثبتنا $c$ وقمنا بتغيير القيمة الابتدائية $z_0$، فإن (حدود) مجموعة القيم الابتدائية التي تبقى المتتالية فيها مقيدة تُسمى مجموعة جوليا (Julia set). يمكن القول إن مجموعة ماندلبروت تعمل كدليل أو فهرس (فضاء معاملات الترابط) لعدد لا نهائي من مجموعات جوليا الموجودة.
نظرية شيشيكورا حول بعد هاوسدورف للحدود
تمتلك حدود مجموعة ماندلبروت $\partial \mathcal{M}$ بنية فراكتلية معقدة بشكل يفوق الخيال. مهما قمت بتكبيرها، تستمر في الظهور نسخ مصغرة لا نهائية من مجموعة ماندلبروت (مجموعات ماندلبروت المصغرة)، مرتبطة معاً بواسطة خيوط لا حصر لها.
ما مدى “تعقيد” هذه الحدود من الناحية الرياضية؟ في عام 1998، أثبت عالم الرياضيات الياباني ميتسوهيرو شيشيكورا (Mitsuhiro Shishikura) نظرية تاريخية في مجال النظم الديناميكية المعقدة.
$$ \dim_H(\partial \mathcal{M}) = 2 $$على الرغم من كونها مجرد “خط (شيء أحادي البعد)” حدودي على مستوى (ثنائي الأبعاد)، فإن حقيقة أن بعد هاوسدورف الخاص بها يصل إلى بُعد الفضاء نفسه وهو $2$، تعني أن $\partial \mathcal{M}$ تلتوي وتنثني وتمتلك هياكل دقيقة لا تُحصى لدرجة أنها تملأ الفضاء إلى أقصى حد على المستوى المركب. ومع ذلك، فإن مسألة ما إذا كان مقياس ليبيج ثنائي الأبعاد (المساحة) الخاص بها موجباً أم لا، لا تزال معضلة عظمى غير محلولة في الرياضيات الحديثة.
الفصل السادس: الفراكتلات في الفيزياء والطبيعة
تجاوزت الهندسة الفراكتلية وبعد هاوسدورف إطار الرياضيات البحتة وأحدثت تأثيراً جذرياً على العلوم الطبيعية بشكل عام، مثل الفيزياء وعلم الأحياء وعلم الكونيات. يبدو كما لو أن الطبيعة قد اختارت الهندسة الفراكتلية بدلاً من الهندسة الإقليدية.
الاضطراب (Turbulence) وميكانيكا الموائع
“الاضطراب”، وهو الظاهرة الأكثر تعقيداً في ميكانيكا الموائع، يمتلك بنية فراكتلية. وفقاً لنظرية الشلال النمطي للطاقة (بواسطة ريتشاردسون وكولموغوروف)، تتفكك الدوامات الكبيرة في الاضطراب لتصبح دوامات أصغر، وتتفكك هذه بدورها، مكررة هذه العملية بتشابه ذاتي. يُعد حساب البعد الفراكتلي للمناطق التي يحدث فيها تشتت الطاقة (البنى التشتيتية) أحد النهج لفهم معادلات نافييه-ستوكس رياضياً.
مسار الحركة البراونية $D=2$
$$ \dim_H(\text{Brownian path}) = 2 \quad \text{almost surely} $$هذا يشير إلى أنه على الرغم من كونه منحنياً متولداً من معامل زمني أحادي البعد، فإنه يستكشف الفضاء بكثافة كافية ليكون له امتداد مساحي يعادل فضاءً ثنائي الأبعاد.
البنية واسعة النطاق للمجرات (علم الكونيات)
عندما ننظر إلى سماء الليل، تبدو النجوم متناثرة بشكل عشوائي، ولكن عند إجراء مسح ثلاثي الأبعاد لتوزيع المجرات على النطاق الواسع في الكون (مثل مسح سلون الرقمي للسماء)، تظهر “البنية واسعة النطاق للكون” التي تتكون من عناقيد مجرية هائلة تشبه الخيوط وفراغات هائلة (Voids). يكشف تحليل دالة الارتباط لتوزيع المادة هذا أن لديها تشابهاً ذاتياً ببعد فراكتلي يتراوح بين $D \approx 1.2$ و $2.0$ عند مقياس معين. إن التنظيم الذاتي للمادة بواسطة الجاذبية هو ما يُنتج الفراكتل.
شبكات النقل المثلى للحويصلات الهوائية والأوعية الدموية
تعتبر الفراكتلات شائعة أيضاً في مجال علم الأحياء. فرئتا الإنسان (الهيكل المتفرع للشعب الهوائية)، ونظام الأوعية الدموية، وشبكات الأعصاب في الدماغ، كلها تمتلك بنية فراكتلية. لماذا اختار الانتقاء الطبيعي الفراكتلات؟ لأنها الحل الأمثل “لتعبئة مساحة سطحية لا نهائية داخل حجم (فضاء) محدود”. من خلال تفرع الشعب الهوائية بشكل فراكتلي، يتم الحفاظ على حجم الرئة ثابتاً مع زيادة مساحة السطح اللازمة لتبادل الأكسجين إلى الحد الأقصى، وتقليل فقدان الطاقة لتوصيل الدم إلى كل خلية في الجسم. إن آليات التحسين في الحياة تتوافق تماماً مع قوانين البعد الفراكتلي الرياضية.
الخاتمة: استمرارية الأبعاد ونظرة جديدة للطبيعة
كانت “الأبعاد الصحيحة” التي قدمتها لنا الهندسة الإقليدية نموذجاً تقريبياً مفيداً للغاية للعقل البشري لتبسيط وفهم العالم. ومع ذلك، أثبتت مفاهيم “الفراكتل” و"بعد هاوسدورف”، التي ولدت من تطور نظرية القياس وحدس ماندلبروت، أن الأبعاد لا تأخذ فقط قيماً منفصلة مثل $0, 1, 2, 3$، بل يمكن أن توجد كمتصل من الأعداد الحقيقية.
يُعد بعد هاوسدورف المقياس النهائي لتحديد كمية “الخشونة” و"التفاصيل اللانهائية” و"النظام الكامن في الفوضى" المخبأة في الطبيعة. فالسواحل، والأشجار، والبرق، وبنية الكون، وحتى البنية الجسدية الخاصة بنا؛ كل هذه تجعل من الفراكتلات لغة تصميم عالمية في الكون.
إن حقيقة أن نظرية القياس (القياس الخارجي لهاوسدورف)، والتي تمثل قمة التجريد الرياضي، تصف الواقع المادي بهذه الدقة، تترك فينا انطباعاً قوياً عن المراسلات الغامضة الموجودة بين الرياضيات والعلوم الطبيعية. لقد غيرت الهندسة الفراكتلية نظرتنا إلى العالم بشكل جذري.