HomeVideos

How (and why) to take a logarithm of an image

Now Playing

How (and why) to take a logarithm of an image

Transcript

578 segments

0:00

[ترجمة AI. أرسل التصحيحات على criblate.com] كل مرة بعمل فيها واحد من هالفيديوهات، بيكون أحيانًا في لحظة مميزة يكون فيها فعل

0:04

التحريك نفسه عبارة عن حل مجموعة كبيرة من الألغاز التقنية الصغيرة، وبعدها الرياضيات

0:09

اللي بحاول أشرحها بتوضح لي بطريقة ما كانت واضحة من قبل أول ما أشوفها حية على الشاشة.

0:14

أفضل نسخة من هاللحظات غالبًا بتقولي إن الفيديو راح يكون من المفضلين عندي،

0:18

وتجميع نهاية هالقطعة هنا كان واحد من هالأوقات اللي حسّيت فيها بهالشعور.

0:27

قصتنا اليوم ما بتبدأ فعليًا في صف الرياضيات.

0:30

نبدأ من غرفة الفن.

0:32

تخيل نفسك واقف في معرض، وتتطلع إلى صورة لقارب في ميناء، والعالم كله يلتوي

0:37

كلما ارتفعت نظرتك للأعلى وإلى اليمين، حيث تشوف قرية على هالواجهة المائية.

0:43

وبين المباني المتلاصقة بإحكام، يلتوي العالم أكثر لما تنزل

0:47

نظرتك إلى مدخل أحد المباني، المؤدي إلى ممر مليان أعمال فنية.

0:53

وفي آخر هالممر، ها أنت من جديد، تحدق في صورة لقارب.

0:58

هذه مطبوعة حجرية لـ م.س.

0:59

إيشر من سنة 1956، اسمها معرض المطبوعات، أو بالهولندية، برينتنتنتونستيلينغ.

1:05

في رسالة كتبها لابنه، وهو يصف فيها ابتكاره لشاب ينظر باهتمام إلى مطبوعة يظهر فيها هو

1:12

نفسه، سمّى إيشر هذا العمل أغرب شيء سويته في حياتي، وهذا بالنسبة له كلام كبير فعلًا.

1:18

فن إيشر محبوب على نطاق واسع حول العالم، وغالبًا ما يتميز بمواضيع

1:23

paradoxية أو أنماط هندسية ممتعة بشكل فريد ومعها نوع من الشخصية.

1:27

وهذا الحب واضح بشكل خاص عند علماء الرياضيات، لأن فنه كثيرًا ما يلامس مفاهيم عميقة بشكل

1:33

مدهش داخل الرياضيات، رغم أن إيشر نفسه ما كان عنده أي تدريب أكاديمي رسمي في هذا المجال.

1:39

معرض المطبوعات يعطي مثالًا مثاليًا على هذا العمق غير المتوقع.

1:43

في 2003، قدم عالما الرياضيات دي سميت ولينسترا تحليلًا ممتعًا جدًا لما يحدث فعلًا

1:48

في هذه القطعة، وللحلقة المنغلقة على نفسها والمذهلة للعقل التي نجح إيشر في تحقيقها.

1:54

واحد من أهدافي الرئيسية في هذا الفيديو هو أن أقدم تفكيكًا بصريًا لتحليلهما،

1:59

وعلى عادتي دائمًا، بهدف أن أعطيك إحساس أنك كان ممكن تكتشف هذا بنفسك.

2:05

شيء يظهر من هذا التحليل بشكل غير متوقع هو جواب السؤال:

2:08

ما الذي يفترض بالضبط أن يكون في وسط هذه الصورة؟

2:12

في البداية، قد يبدو هذا سؤالًا غير مترابط.

2:15

إذا اقتربت منه من الجهة العليا اليمنى، فيبدو أنه يفترض أن يعرض مباني في

2:19

القرية، لكن إذا أتيته من اليسار، فيبدو أقرب إلى كونه جزءًا من إطار الصورة.

2:23

أما إذا أتيته من الأسفل، فيبدو أن الأنسب أن يكون جزءًا من المعرض نفسه.

2:28

بطريقة ما، كل الغموض المتعلق بمكانك بالضبط في هذا

2:31

المشهد كله مضغوط داخل تلك الدائرة الفارغة في الوسط.

2:36

وللمتعة فقط، وبما أننا في عشرينيات القرن الحالي، خليت نموذج انتشار يحاول يعبّي هذا الفراغ.

2:41

وبشكل غير مفاجئ، هو يعاني جدًا.

2:43

هو ببساطة لا يفهمها إطلاقًا.

2:45

ولو أعطينا الآلة المسكينة بعض الحق، فمن الطبيعي طبعًا أنها تعاني.

2:48

هذا الجزء يبدو غامضًا بطبيعته وغير محدد المعالم أصلًا في المشهد.

2:52

لكن مع ذلك، آمل أنه في النهاية توافقني أن هناك تكملة واحدة، بل في الحقيقة

2:57

واحدة فقط، تشعر أنها قطعة الأحجية الصحيحة التي يمكن وضعها في مكانها.

3:02

قبل ما ندخل في الرياضيات، أبغى أعطيك وصفًا حدسيًا بحتًا لكيف

3:05

صنع إيشر هذه القطعة فعلًا، وهي تنقسم إلى ثلاث خطوات مختلفة.

3:10

الخطوة الأولى هي أن تبدأ بنسخة مفروضة ومستقيمة من

3:13

الفكرة العامة نفسها، حيث يوجد رجل ينظر إلى صورة.

3:17

وتحتوي تلك الصورة على ميناء، يحتوي على بلدة، تحتوي على

3:22

معرض مطبوعات، يحتوي على ذلك الرجل نفسه، وهكذا دواليك.

3:26

تقدر تواصل التكبير إلى ما لا نهاية على راحتك.

3:30

فكرة الصورة المتشابهة مع نفسها، اللي تكون الصورة فيها

3:33

موجودة داخل نفسها، لها اسم خاص عند مصممي الجرافيك.

3:37

معروفة باسم تأثير دروستا، نسبةً إلى شركة كاكاو استخدمته في هويتها.

3:42

وفي الواقع، يبدو إن هالحركة كانت نوعًا ما وسيلة

3:45

تسويقية شائعة لمنتجات كثيرة من بدايات القرن العشرين.

3:48

لكن صورة دروستا المتشابهة مع نفسها اللي كان إيشر يستخدمها فيها تقريب أعمق بكثير

3:54

جدًا من كل هذي، بحيث إن النسخة المتشابهة مع الأصل أصغر بـ256 مرة من الأصل.

4:00

بعد شوي راح تشوف من وين جاي هالرقم.

4:03

عبقرية إيشر إنه بطريقة ما أدرك بشكل حدسي إنه لازم يكون فيه طريقة لأخذ

4:08

فكرة صورة متداخلة داخل نفسها وتحويلها إلى هالحلقة الملتوية اللي يصير

4:14

فيها التكبير للداخل بشكل ضمني بينما عين المشاهد تتجول حول الدائرة.

4:21

بالمناسبة، يمكن تتساءل من وين جبت هالنسخة المستقيمة، والجواب

4:25

إن هالرياضيين اللي أشرت لهم سمحوا لنا باستخدامها بكل كرم.

4:28

وهذا شيء هم فعلًا أعادوا بناءه عكسيًا من عمل إيشر الأصلي

4:32

بمساعدة فنانين هولنديين، هانز ريختر وجاكلين هوفسترا.

4:37

والطريقة اللي أعادوا فيها بناءه عكسيًا مثيرة جدًا للاهتمام فعلًا.

4:40

وبنوع من الكلام المجازي، هي تتضمن أخذ اللوغاريتم للعمل الأصلي.

4:44

وأعرف إن هالجملة غالبًا تبدو كأنها كلام فارغ الآن، لكن

4:48

لاحقًا في هالفيديو، أوعدك إنها راح تصير منطقية جدًا.

4:52

ولتوضيح الفكرة الأساسية لكيف صنع إيشر هالحلقة، أبغى أستخدم مثال أبسط

4:57

من اللي كان يشتغل عليه، فراح نعرض صورة دراستا متشابهة مع نفسها ومخصصة،

5:02

فيها مخلوق فطيرة يطالع صورة مؤطرة لبيت يعيش فيه نفس مخلوق الفطيرة.

5:08

في هالمثال، النسخة المتشابهة مع الأصل أصغر فقط بـ16 مرة من

5:11

الأصل، وهذا يخلي كل شيء أسهل بكثير عشان ينشاف دفعة وحدة.

5:15

اللي راح أسويه هو إني أحتفظ بمساحة عمل منفصلة على اليمين هنا عشان أرسم

5:20

الهدف العام اللي في بالنا، والطريقة اللي ممكن تفكر فيها بالموضوع هي

5:25

إنك تريد توزّع عامل التكبير للداخل البالغ 16 مرة على زوايا المربع الأربع.

5:30

مثلًا، خلنا نقول إنك تريد مخلوق الفطيرة نفسه يظهر

5:33

تقريبًا بنفس الحجم في الزاوية السفلية اليسرى.

5:36

فإذا كبّرت في الأصل بمقدار 2، راح نأخذ اللي يكون في أعلى اليسار من

5:41

النسخة المكبرة ونحطه بعدين في أعلى اليسار من مساحة العمل عندنا.

5:47

وبالمثل، كبّر مرة ثانية بمقدار 2، ثم خذ أعلى اليمين من النسخة

5:52

المكبرة، وحط نسخة موسعة منه في أعلى اليمين من مساحة العمل.

5:58

وأخيرًا، خطوة أخيرة، كبّر مرة ثانية بمقدار 2، خذ اللي في أسفل اليمين

6:03

من النسخة المكبرة، كبّره، وحطه في أسفل اليمين من مساحة العمل.

6:08

هالزوايا الأربع المقتطعة تعطينا فكرة تقريبية عن الشيء اللي نريد نصنعه هنا.

6:13

وطالما تقدر تلقى طريقة سلسة لملء الفراغات بينها، فبينما عين المتفرج تتجول

6:18

حول دائرة في هالصورة، اللي راح يشوفه بيستمر يكبّر للداخل أكثر وأكثر وأكثر

6:23

إلى أن يتصل بشكل أنيق مع الجزء المتشابه ذاتيًا من الصورة الأصغر بـ16 مرة.

6:29

نقدر ببساطة نحاول نوصل كل شيء بشكل بدائي، شيء مثل كذا، لكن بصراحة هذا ما يطلع شكله جيد

6:35

جدًا، وبالتأكيد مو بنفس السلاسة والأناقة اللي قدر إيشر يحققها، لذلك لا يزال قدامنا شغل.

6:42

وبالمناسبة، هالكتاب اللي كنت أتصفحه، سحر إم. سي.

6:43

إيشر، أخذته خلال زيارة رائعة إلى متحف إيشر في لاهاي، واللي أنصح فيه جدًا إذا

6:44

مرّيت بهولندا، ولما نصل إلى القسم الخاص بمعرض المطبوعات، يعطينا لمحة صغيرة

6:45

عن كيف كانت عملية إيشر فعلًا.

6:46

بالنسبة له، كانت الخطوة الثانية هي إنشاء هالشبكة الملتوية.

6:59

وبالنسبة للرسوم المتحركة هنا، راح أعرض تعديلًا بسيطًا على هالشبكة، وهو في

7:01

الأساس ألطف شوي من ناحية رياضية في التوليد، لكنه يوضّح نفس الفكرة الأساسية.

7:03

في حالته، صورة دروستا المتشابهة مع نفسها اللي كان يشتغل عليها عندها

7:06

عامل تحجيم قدره 256، لذلك توزيع هذا العامل على الزوايا الأربع كان

7:08

بالنسبة له يتطلب تحجيمًا بمقدار أربعة كلما انتقلت من زاوية إلى التالية.

7:11

وإذا دققت النظر في شبكته، مثلًا في أحد المربعات أسفل اليمين، راح تلاحظ إنه

7:16

إذا تتبعت الخطين العلوي والسفلي اللي يحددان ذلك المربع باتجاه أسفل يسار

7:21

الصورة، فهذان الخطان نفسيهما ينتهيان بإحاطة مربع صار الآن أكبر بأربع مرات.

7:26

And if you look closely at his grid, say at one of the squares on the lower right,

7:30

notice how if you follow the top and bottom lines bounding that square over to the lower

7:35

left of the image, those same lines end up enclosing a square that is now four times as

7:40

big.

7:40

وبنفس الشكل، لو نظرت للخطوط اللي تحد اليسار واليمين لمربع صغير من تلك المنطقة،

7:45

وتتبعتها لفوق، راح تلقاها تنتهي وهي ملتفة حول مربع أكبر بأربع مرات بشكل مرتب.

7:50

فالشبكة نوعاً ما ترمّز التحجيم من زاوية للي بعدها اللي نبغاه.

7:55

أما في مشروعنا اللطيف، بما أننا نحتاج فقط نكبّر بمعامل اثنين من كل

7:59

زاوية للي بعدها، فرح نستخدم نسخة معدلة من هذا، لكن بنفس الفكرة العامة.

8:05

ممكن بشكل طبيعي تتساءل: من وين جات هذي الشبكة أصلاً؟ لكن بصراحة أبغى

8:10

أؤجل هذا السؤال ونقفز للخطوة الثالثة، وهي كيف فعلياً تقدر تستخدم

8:14

هذي الشبكة مع صورة دروسي ذاتية التشابه عشان تصنع تأثير إيشر النهائي.

8:19

الطريقة تشتغل كذا: أول شيء نحط شبكة مربعات عادية فوق الصورة الأصلية، وبعدها

8:24

لنفترض أنك تبغى هذا الجزء هنا ينتهي في هذه الزاوية من نسختنا النهائية.

8:29

اللي تسويه هو أنك تأخذ كل مربع صغير داخل هذا الجزء، ثم تنسخ

8:33

محتواه إلى المربع الصغير المقابل له في النسخة المشوّهة من الشبكة.

8:38

ومن هناك، كل مربع مجاور في شبكتنا الأصلية يصير لازم يروح إلى المربع المجاور المقابل له

8:44

في النسخة المشوّهة، فبشكل ما تقدر تواصل تتبع وين لازم تروح الصورة عن طريق تتبع الشبكة.

8:52

وحقيقة أن خطوط الشبكة في النسخة المشوّهة تتباعد بمعامل اثنين كل

8:56

ما تتحرك من أسفل اليسار إلى أعلى اليسار تعني أن مقياس المشهد

9:00

عندنا يتضاعف تلقائياً بهذا المعامل اثنين كل ما طلعت على طول ذلك الخط.

9:06

فكرة هذه العملية هي أنه كفنان، يكون من السهل نسبياً أنك تمشي جزء جزء، وتنسخ اللي داخل

9:12

مربع صغير إلى مربع صغير ثاني، لأنه على هذا المقياس الصغير الأشياء ما تكون مشوّهة.

9:19

وأكيد هذا أسهل بكثير، كثير كثير، من أنك تحاول تتخيل وترسم الصورة

9:23

النهائية المشوّهة المناسبة وأنت تبدأ من لا شيء غير صفحة فاضية قدامك.

9:28

فبشكل عام، لما تكون هذه الشبكة المشوّهة بيدك، تصير عملية نسخ كل مربع

9:33

صغير شبه تلقائية وبشكل مريح، وإذا خلّينا هذي العملية التلقائية تكمل

9:38

دورة كاملة، فهي تنغلق بشكل جميل على الموضع الابتدائي، ولكي يصير هذا

9:43

لازم تكون صورتنا الأصلية فيها هذا التشابه الذاتي لما تكبّر بمعامل 16.

9:49

أتمنى توافقني أن النتيجة النهائية اللي عندنا جميلة جداً، فهي تعيد خلق نفس التأثير

9:54

العام، لكن أكثر من أي شيء ثاني أظن أنها تعطينا تقديراً أعمق لتكوين إيشر نفسه.

9:59

هو كان فعلاً متعمداً جداً في اختيار نوع الصور على كل المقاييس المختلفة.

10:03

وعلى حد قوله: اخترت عن قصد أنواعاً متسلسلة من الأشياء، مثل

10:08

مثلاً صف من المطبوعات على الجدار، أو كتل من البيوت في بلدة.

10:13

ومن دون العناصر الدورية، كان سيكون أصعب بكثير أن أوصل قصدي إلى المشاهد العادي.

10:20

هذه الفكرة، اللي يكون عندك فيها صورة مرجعية مستقيمة ثم شبكة مشوّهة،

10:24

وتستخدم الاثنين معاً لصنع مشهد مشوّه، هي عملية شائعة في التصميم الجرافيكي.

10:29

وتُعرف باسم تشويه الشبكة، وإيشر ما اخترعها خصيصاً لهذه الحالة،

10:32

بل هي شيء كان قد استخدمه عدة مرات من قبل في أعمال أخرى.

10:36

وبالنسبة لقصتنا، الفكرة هي أن كل المنطق الخاص بتحويل تكبير دراستا إلى حلقة

10:42

تم تجريده وتنقيته داخل هذه الشبكة، وهذا يطرح السؤال الطبيعي: من أين جاءت؟

10:48

كيف تسوي هذا؟

10:49

ممكن تتخيل كنهج أولي ساذج أنك تحاول تعمل تحجيماً خطياً لكل

10:55

شيء من زاوية للي بعدها، لكن لو فعلت هذا مباشرة فسترى تعارضاً.

11:01

هذان المساران من التحجيم يفرضان ضغوطاً مختلفة على المربعات الفردية، فمثلاً

11:06

هذا المربع يريد أن يتمدّد بهذا الاتجاه بناءً على التكبير القادم من اليمين،

11:11

لكنه أيضاً يريد أن يتمدّد بهذا الاتجاه بناءً على التصغير وأنت تصعد للأعلى.

11:16

ويبدو أن إيشر انجذب لحل هذا الأمر عن طريق تقويس كل الخطوط لتخفيف هذا التوتر.

11:23

لكن فيه قيد حاسم آخر على ما يبدو أنه كان يسترشد به، قيد يُفترض

11:27

أنه جعل عملية نقل الصورة أسهل، وجعل النتيجة النهائية تبدو أكثر

11:32

طبيعية، وسيجعل أذن أي رياضي غارق في التحليل العقدي تنتبه فوراً.

11:38

في شبكته المشوّهة النهائية، المربعات الصغيرة هي، يعني، مربعات فعلاً.

11:43

وللتوضيح، هذا ليس صحيحاً أبداً في أغلب تشويهات الشبكة.

11:46

في أغلب الحالات، خطوط الشبكة المشوّهة التي ترسمها لا تتقاطع بالضرورة بزوايا

11:51

قائمة، والمناطق الصغيرة التي تحدها تكون عموماً متوازيات أضلاع صغيرة.

11:56

ومع هذا، يظل الأمر قابلاً للتطبيق بالنسبة للفنان، فما زال بإمكانك نوعاً

12:00

ما تنفيذ النقل، لكن على الأغلب أن فعل النسخ من الأصل إلى النسخة المشوّهة

12:05

يكون أكثر إرباكاً عندما يوجد هذا التشويه، لذلك سيكون ألطف بكثير لو أن

12:09

المربعات الصغيرة في الشبكة المشوّهة بقيت على الأقل تقريباً مربعات.

12:13

ولما تدقق في الشبكة اللي استخدمها إيشر في معرض المطبوعات حقه، تلقى إنها تملك هذه الخاصية.

12:18

كل الخطوط تتقاطع بزوايا قائمة، وعلى مقياس صغير كفاية،

12:22

المناطق اللي تحصرها فعلًا تكون تقريبًا مربعات.

12:25

فنيًا، هذا يعطي أثر جميل: رغم إن المشهد كله ملتوي ومشوّه بشكل قوي على المستوى

12:31

العام، إلا إنه لما تقرّب على المستوى المحلي، كل شيء يكون قليل التشوّه نسبيًا.

12:36

وهذا اللي يخلي كل جزء محلي من صورة إيشر سهل التعرّف عليه.

12:41

ورياضيًا، هنا فعلًا تبدأ القصة تصير ممتعة.

12:45

تشوف، فكرة وجود دالة من فضاء ثنائي الأبعاد إلى فضاء ثنائي الأبعاد، بحيث

12:50

المربعات الصغيرة تظل تقريبًا مربعة، لها دور خاص ولها اسم خاص في الرياضيات.

12:55

اسمها تحويل توافقي، وأحد المجالات اللي تظهر فيه طول الوقت هو

12:59

دراسة الدوال اللي مدخلاتها أعداد مركبة ومخرجاتها أعداد مركبة.

13:04

في هذه المرحلة، راح نرجع خطوة للخلف ونطلع من صف الفن ونتمشى إلى قسم الرياضيات،

13:10

وهناك أبغى أقدّم لك درس صغير عن بعض الأفكار الأساسية في هذا المجال.

13:16

الخطة الأساسية من هنا هي إني أولًا أبغى أسوي مراجعة سريعة، ونمر على بعض

13:21

أساسيات الأعداد المركبة والدوال المركبة، وبعدها أبغى أقضي وقت له معنى

13:25

وأنا أبني إحساسًا حدسيًا لشكل اللوغاريتمات في سياق الأعداد المركبة هذا.

13:30

وبعدين لما يصير هذا الشيء عندك، راح نمشي خطوة بخطوة في طريقة مختلفة تمامًا

13:34

تقدر تتخيل فيها إعادة صنع التأثير اللي كان عند إيشر في معرض مطبوعاته.

13:38

خلّينا نبدأ بمراجعة الأساسيات.

13:41

عادة نفكر في الأعداد الحقيقية على إنها تعيش على خط أحادي البعد،

13:44

خط الأعداد الحقيقية، بينما الأعداد المركبة ثنائية الأبعاد.

13:48

بالتحديد، نفكر في الثابت التخيلي i، المعرّف على إنه الجذر التربيعي لـ -1، وكل

13:55

نقطة ثانية على هذا المستوى تمثل نوعًا ما مزيجًا من عدد حقيقي مع مضاعف حقيقي لـ i.

14:03

من المعتاد استخدام المتغير z للإشارة إلى عدد مركب عام،

14:07

واللعبة اللي نبغى نلعبها هي إننا نفهم دوال مختلفة لـ z.

14:11

مثال بسيط جدًا لكنه مهم هو إنك تضرب z في ثابت معيّن.

14:16

الدالة f لـ z تساوي 2 في z، وتأثيرها هو إنها تكبّر كل شيء بعامل مقداره 2.

14:23

لكن ماذا عن الضرب في شيء تخيلي، مثل i، الجذر التربيعي للسالب واحد؟

14:27

طيب، أنت تعرف إن ضرب الواحد في i يعطيك i، وبحسب التعريف، i في i يساوي سالب واحد.

14:34

ولو تلاحظ، كلا هذين يمثلان دورانًا بمقدار 90 درجة،

14:38

وبشكل أعم، ضرب أي قيمة z في i يعطي تأثير دوران 90 درجة.

14:42

وأعم من ذلك، لما تضرب في أي ثابت مركب، يكون التأثير مزيجًا من التكبير والدوران.

14:50

وفيه طريقة جميلة نفكر فيها في مقدار التكبير والدوران بالضبط.

14:54

الصفر مضروبًا في أي شيء يساوي صفر، لذلك لازم يظل الأصل ثابت في

14:57

مكانه، وبعدها الواحد مضروبًا في أي ثابت c يساوي نفس ذلك الثابت c.

15:02

فهذا يعني إن هذه النقطة عند الواحد لازم تُسحب إلى المكان اللي يقع فيه

15:07

ذلك الثابت c اللي نتكلم عنه، وهذا يحدد بالكامل مقدار التكبير والدوران.

15:12

ومن هناك، بقية الشبكة تظل صلبة قدر الإمكان.

15:15

نقطة أساسية لازم نؤكد عليها في قصتنا هي إنه إذا كل اللي

15:18

تسويه هو الضرب في ثابت معيّن، فالأشكال تظل محفوظة دائمًا.

15:22

أي شيء ممكن تحب ترسمه، مثل مربع، ممكن يكبر أو يدور، لكن غير كذا ما فيه أي تشوّهات.

15:29

الآن تبدأ الأمور تصير أكثر إثارة مع الدوال الأعقد.

15:32

مثال بسيط لكنه مو تافه هو إننا نربط كل عدد z بـ z تربيع.

15:37

فالمدخل 2 لازم ينتقل إلى 2 تربيع، اللي هو 4.

15:41

والمدخل i لازم ينتقل إلى i تربيع، اللي هو سالب 1.

15:45

أما سالب 1 نفسه فلازم ينرسم إلى موجب 1.

15:48

وبشكله الكامل، هذا هو اللي يصير إذا خليت كل نقطة بين

15:52

خطوط الشبكة في فضاء الإدخال تنتقل إلى مخرجاتها المقابلة.

15:57

يعطي تأثير جميل جدًا، وعلى عكس الضرب في ثابت، الشكل هنا أكيد ما عاد يظل محفوظ.

16:02

خطوط الشبكة تنحني وتلتوي.

16:05

لكن، وهذه نقطة مهمة، انتبهوا للي يصير على مقياس صغير.

16:09

مثلًا، إذا ركزنا فقط على هذا المربع الصغير من فضاء الإدخال.

16:12

وأنت تشاهد التحويل يصير مرة ثانية، تقدر تشوف إن الشكل يظل

16:16

محفوظًا تقريبًا، على الأقل إذا كان المقياس صغير بما يكفي.

16:20

المربعات الصغيرة من شبكتنا الأصلية تظل تقريبًا مربعات حتى بعد ما تعالجها الدالة.

16:26

وباستخدام المصطلح الرياضي، الدالة z تربيع تعتبر دالة مطابقة الزوايا.

16:30

واختيار z تربيع هنا فعلًا مو شيء مميز بحد ذاته.

16:33

وهذا هو شكل الأمر إذا حوّلت كل نقطة z إلى z تكعيب.

16:37

المربعات تظل تقريبًا مربعات.

16:40

أوكي، يمكن هذا المربع اللي أحدده ما يبان مربعًا تمامًا

16:43

في الناتج، لكن فعليًا السبب بس إنه بدأ بحجم كبير زيادة.

16:46

وللتوضيح، خاصية المطابقة الزاوية اللي أتكلم عنها هي خاصية حدّية.

16:50

يعني مربع معيّن قد لا يتحول بالضبط إلى مربع، لكن الفكرة إنه كلما قربت أكثر وأكثر،

16:56

واخترت مناطق مربعة من فضاء الإدخال أصغر فأصغر، فالناتج فعلًا يصير أقرب وأقرب إلى مربع.

17:04

وبرضه ما فيه شيء مميز جدًا في اختيار كثيرات الحدود مثل z تربيع أو z تكعيب.

17:08

تقريبًا لأي دالة للأعداد المركبة ممكن تفكر تكتبها، هذه الخاصية تظل صحيحة.

17:13

الشكل يظل محفوظًا إذا كان المقياس صغير بما يكفي.

17:15

الأمر يكاد يكون مثل السحر.

17:17

واستخدام الأعداد المركبة هنا له أهمية كبيرة جدًا.

17:20

أما لو كنت تفكر في النقاط في الفضاء ثنائي الأبعاد فقط كزوج من الأعداد الحقيقية بإحداثيات

17:26

x وy، وكتبت دالة عشوائية في x وy لتعطيك زوجًا جديدًا من الأعداد، فالشيء الأكثر شيوعًا

17:32

بكثير جدًا عندما تتحول نقاط فضاء الإدخال هذا هو إن مخرجات تلك المربعات الصغيرة تنضغط

17:38

وتتشوه.

17:39

وحتى مع التقريب أكثر وأكثر، فالشكل الحدّي الناتج

17:42

غالبًا يبدو كمتوازي أضلاع، وليس بالضرورة مربعًا.

17:46

لذلك، الدوال المركبة فعلًا مميزة بهذه الطريقة.

17:50

والسبب الأساسي اللي يخلي المربعات الصغيرة تظل

17:51

مربعات يرجع في النهاية إلى حساب التفاضل والتكامل.

17:54

اللي عم تشوفه هو بالضبط معنى إن هالدوال عندها مشتقات.

17:59

يمكن هذا يبين شوي غريب، لكن التشبيه اللي ممكن تفكر فيه هو إنه بالنسبة

18:03

لمعظم دوال الأعداد الحقيقية، إذا تخيلتها بالطريقة المعتادة، مجرد رسم

18:08

بياني فيه المدخلات على محور x والمخرجات على محور y، فكل ما تكبّر أكثر

18:12

وأكثر على أي نقطة معينة في هالرسم، بتصير تبان أكثر وأكثر كأنها خط مستقيم.

18:17

يعني، معدل التغير، أو قديش بتحصل على Δf مقابل Δx معيّن، بيقترب من قيمة ثابتة.

18:24

وهذا حرفيًا هو معنى إن الدالة عندها مشتقة، لكنه مو الطريقة الوحيدة لتصوّره.

18:29

خلينا نشوف نفس الفكرة بطريقة ثانية.

18:32

بدل ما ننظر إلى الرسم البياني للدالة، خلينا نفكر في نفس الدالة لكن كتحويل.

18:37

يعني، راح نخلي كل نقطة من هالنقاط على خط الأعداد الحقيقي

18:41

تنتقل إلى المخرج المقابل إلها على خط الأعداد الثاني.

18:45

اللي راح تلاحظه هو إن النقاط المتساوية التباعد في فضاء الإدخال ممكن يصير

18:49

فيها تشوّه في فضاء الإخراج، وهذا يعني إن معدل تغيّر الدالة بشكل عام مو ثابت.

18:55

المسافة بين نقاطنا ممكن تتغيّر من جزء من الصورة لجزء ثاني.

18:59

لكننا نعرف إنه كل ما تكبّر أكثر وأكثر على مخرج معيّن، معدل التغير بيقترب من قيمة ثابتة.

19:06

النقاط بتبان متساوية التباعد أكثر وأكثر.

19:09

وبالتحديد، إذا أخذت رقعة صغيرة جدًا من النقاط حول مُدخل معيّن

19:13

ونسختها إلى فضاء الإخراج حول المخرج المقابل، تقدر تقريبًا تصف

19:18

كل النقاط فوق بعض فقط عن طريق تكبير كل شيء بعامل ثابت معيّن.

19:23

وهذه هي نفس الحقيقة التحليلية اللي بيعطيك إياها ميل الرسم البياني، بس ضمن سياق بصري مختلف.

19:30

لكن هذا السياق ينتقل بسهولة أكبر بكثير لما نفكر في

19:34

الدوال ذات القيم المركبة كتحويلات على المستوى المركب.

19:38

هناك راح نفكر في الجوار حول مُدخل معيّن على إنه شبكة صغيرة جدًا من النقاط،

19:43

مثل ما كنا نعمل قبل، ونخلي كل نقطة في هالشبكة تنتقل إلى المخرج المقابل إلها.

19:49

في هالحالة، معنى إن معدل التغير يقترب من ثابت هو تقريبًا نفس المعادلة بالضبط.

19:56

الصورة اللي لازم تكون في بالك هي إنه إذا أخذت هالرقعة الصغيرة من المربعات

20:01

حول المُدخل ونسختها إلى المخرج المقابل، تقدر تقريبًا تطابقها مع خطوط

20:06

شبكة الإخراج عن طريق الضرب في ثابت معيّن، واللي تذكّر، في سياق الأعداد

20:12

المركبة، يعني تدويرها وتكبيرها بطريقة ما حسب قيمة هذا الثابت المركب.

20:17

وبما إن التدوير والتكبير يحافظان على الشكل، فهذا يعني إن كل المربعات

20:21

الصغيرة من فضاء الإدخال تظل، على الأقل تقريبًا، مربعات تحت هذا التحويل.

20:27

فإذا رجعنا خطوة لورا، هذه هي الفكرة الأساسية، والسبب اللي خلانا أصلًا نحكي عن كل هذا.

20:31

مع إن الخرائط المطابقة مثل اللي كان إيشر يستخدمها في معرض المطبوعات تبعه مقيّدة

20:36

جدًا ونادرة بشكل كبير مقارنة بكل الطرق العامة اللي ممكن تضغط فيها الفضاء ثنائي

20:41

الأبعاد بشكل متواصل، مع ذلك، وكأنه سحر، مجرد إنك تتكلم بلغة الأعداد المركبة،

20:47

تقدر بطريقة ما تنشئ عائلات كاملة من هالخرائط المطابقة بدون حتى ما تبذل جهد كبير.

20:52

كل اللي عليك تعمله هو إنك تركّب وتمزج بين الدوال القياسية للأعداد المركبة.

20:56

والقيد الوحيد هو إن هالدوال لازم يكون عندها مشتقات، لكن هذا

20:59

غالبًا بيكون صحيح لمعظم الدوال اللي ممكن يخطر ببالك تكتبها.

21:03

وبالنسبة لقصتنا، قصة فك شيفرة اللي عم يصير في معرض المطبوعات، هذا

21:06

يعني إنه صار عندنا طريقة جديدة تمامًا لإعادة صياغة السؤال الأساسي.

21:10

هل تقدر تبني دالة مركبة مصممة بعناية بحيث إن فعل التزويم

21:15

حول المدخلات يبان مثل المشي في حلقة بين المخرجات؟

21:21

والآن، في هالمرحلة، ومع بس الحد الأدنى من الدورة السريعة جدًا في التحليل

21:26

المركب اللي صار معنا، صعب نعرف من وين نبدأ قبل ما نبني أولًا مجموعة أكبر

21:30

من الدوال نشتغل فيها ونكوّن بعض الألفة مع كيف تتصرف فعليًا مع الأعداد المركبة.

21:35

في هالحالة، فعلًا ما فيه إلا دالتين لازم تفهمهم: e^z واللوغاريتم الطبيعي.

21:42

أبغى نتمهّل ونقضي وقتًا له معنى في فهم هالثنتين،

21:45

وأعتقد إنك راح توافق إن هذا وقت مستحق فعلًا.

21:48

كل واحد، برأيي، بيستاهل مرة واحدة على الأقل بحياته يعيش متعة فهم اللوغاريتم العقدي.

21:55

لكن أول شي، في شرط أساسي لازم قبله نفهم الدالة الأسية العقدية.

22:00

المتابعين الدائمين غالبًا متعودين على شكل رفع e لقوة عدد عقدي، بس المراجعة ما بتضر أبدًا.

22:07

فينا نبدأ نبني التحويل شوي شوي بمجرد ما نركز على الأمثلة المألوفة

22:11

أكثر، يعني مدخلات الأعداد الحقيقية والمخرجات الحقيقية اللي بتقابلها.

22:16

مثلاً، e للقوة 0 بتساوي 1، فهاي النقطة عند 0 بتننتقل لهاي النقطة عند 1.

22:22

وبعدين كل مرة بتخلي هالمدخل يزيد بمقدار 1، المخرج

22:26

بيكبر بعامل e، يعني بصراحة بيهرب منا بسرعة كبيرة.

22:31

وعلى الجهة الثانية، لما تنقص هالمدخل وتخليه يدخل في الأعداد

22:35

السالبة، كل خطوة لليسار بتقابلها تصغير في المخرج، وبرضه بعامل e.

22:40

وبالذات، رح تلاحظ هون إن المخرج دائمًا عدد موجب.

22:44

وطبعًا الموضوع بصير أمتع بكثير لما نخلي المدخلات والمخرجات كلهم أعداد عقدية.

22:50

وهون، كل اللي لازم تعرفه بيرجع للي بصير لما تخلي الجزء التخيلي من هالمدخل يزيد.

22:56

واللي بصير وقتها إن المخرج المقابل بيلف حول دائرة.

23:02

إذا كنت متسائل ليش المدخلات التخيليّة للدالة الأسية بتخليك تمشي حول

23:06

دائرة بهالشكل، فقد حكينا عن هالموضوع مرات كثيرة جدًا قبل على هالقناة.

23:10

شوف بعض الروابط على الشاشة وفي الوصف.

23:13

نقطة أساسية بدي أكررها هون هي إن اللي بيخلي الدالة e للقوة z لطيفة جدًا،

23:18

مقارنة بالدوال الأسية ذات الأسس الثانية، هو إنك لما مدخلك يطلع للأعلى

23:23

بسرعة 1 وحدة بالثانية، المخرج بيلف حول دائرته بسرعة 1 راديان بالثانية بالضبط.

23:30

فبالتحديد، زيادة الجزء التخيلي بمقدار 2 باي بالضبط بتسبب دورة كاملة واحدة في المخرج.

23:37

وبصياغة ثانية، هالقطع المستقيمة العمودية اللي كنت برسمها، واللي ارتفاع كل واحدة

23:42

منها 2 باي بالضبط، بتنرسم بشكل مرتب على دائرة كاملة واحدة لما تطبق الدالة.

23:48

رح تلاحظ إني رسمت هالقطع العمودية المحددة بحيث تكون متباعدة بالتساوي

23:52

بالاتجاه الحقيقي، بحيث إن الجزء الحقيقي من 1 للي بعده يزيد بمقدار 1.

23:57

الدوائر المقابلة على اليمين كل وحدة منها بتختلف عن

24:00

الثانية بعامل تحجيم ثابت، وبالتحديد عامل التحجيم هو e.

24:04

بالبداية، مع الدالة الأبسط z تربيع، كنت عرضتها كتحويل يحرك كل المدخلات إلى المخرجات.

24:11

وبهالحالة، بالنسبة لـ e للقوة z، إذا كنت فضولي تشوف كيف بتطلع

24:15

نفس الفكرة، فأسهل شي إنك تاخذ جزء من الشبكة، مثل هالجزء من فضاء

24:19

الإدخال، وهاي هي الصورة لما تنقل كل مربع إلى المخرج المقابل إله.

24:24

ولما نستخدم هالدالة فعلًا لأهداف معرض الطباعات تبعنا، رح يكون مفيد جدًا تثبت

24:28

الفكرة براسك عن طريق التفكير بهالخطوط العمودية والدوائر اللي بتتحول إلها.

24:33

في الواقع، في طريقة مرحة جدًا أنا بحب أتخيل فيها كيف هالخطوط العمودية

24:37

بتتحول إلى دوائر متحدة المركز، وكيف ممكن تشيل معها فضاء الإدخال كامل.

24:41

الطريقة اللي بحب أتخيلها هي كأني بلف هالمستوى z كله

24:45

على شكل أنبوب، بحيث تصير كل هالخطوط العمودية دوائر.

24:50

وبالتحديد، كل دائرة رح يكون محيطها 2 باي.

24:54

وبعدين، تخيل إنك تاخذ هالأنبوب، وتحطه بمحاذاة فوق الأصل في فضاء

24:58

المخرجات، وبعدها كأنك بتضغطه لتحت على فضاء المخرجات، وبتحوّل كل

25:02

الدوائر من هالأنبوب إلى هالحلقات متحدة المركز ذات الأحجام اللي تكبر بشكل أسي.

25:08

هاي بس الطريقة اللي أنا بحبها، لكن مهما كانت الطريقة اللي تختارها لتفكر

25:12

فيها، اللي بدي ينطبع براسك هو فكرة إن الخطوط العمودية بتتحول إلى دوائر.

25:16

هلق، النقطة المهمة الثانية جدًا اللي لازم نركز عليها

25:19

هون هي إن مدخلات مختلفة متعددة ممكن توصل لنفس المخرج.

25:23

مثلاً، e أس صفر تساوي واحد، لكن e أس 2πi تساوي أيضًا واحد.

25:29

وكذلك e أس سالب 2πi وe أس 4πi وهكذا.

25:34

في الواقع، أي تسلسل لا نهائي على أي خط عمودي معيّن ومتباعد بمقدار 2π،

25:39

كله بينضغط ويندمج مع بعض لما يلتف هذا الخط العمودي كأنه ينلف إلى دائرة.

25:45

نقول إن دالة الأسّية many-to-one، رغم إنه قد لا يكون واضحًا كيف إن هذا التكرار في

25:50

الاتجاه العمودي بيكون عنصرًا أساسيًا في إعادة صنع تأثير معرض المطبوعات في النهاية.

25:56

طيب، إذًا الدوال الأسّية تعطينا أول مكوّن، والمميز فيها إنها تحوّل الخطوط إلى

26:01

دواير، والمكوّن الثاني اللي نحتاجه هو معكوس هذه الدالة الأسّية، المعروف

26:06

باللوغاريتم الطبيعي، والفكرة الأساسية فيه إنه يفكّ هذه الدواير ويرجعها إلى خطوط.

26:11

والآن، بيكون هذا ممتع جدًا في التصور ومرتبط جدًا بقصتنا إذا تخيلنا إننا

26:17

نلوّن هذا المستوى العقدي على اليمين بصورة دروستا، مثل المثال اللي كنا

26:22

نشتغل عليه قبل، مع مخلوق π اللي يناظر صورة بيت يعيش فيه نفس مخلوق π.

26:28

بمعنى آخر، أخيرًا جاء الوقت أنا وأنت نجاوب فيه على سؤال:

26:32

إيش يعني إنك تأخذ اللوغاريتم الطبيعي لصورة؟

26:36

طيب، فكّر في هذا لثانية.

26:38

أنت تعرف بالفعل إن قطعة خط عمودي مثل هذه على اليسار

26:42

وارتفاعها 2π تتحول إلى دائرة لما تطبّق الدالة e أس z.

26:47

إذًا اللوغاريتم الطبيعي راح يأخذ دائرة من النقاط على هذه

26:51

الصورة وبعدين يفردها ويحّولها إلى واحد من هذه الخطوط.

26:55

وبنفس الطريقة، لو نظرت إلى دائرة أصغر تمامًا بمقدار e مرة، فهي أيضًا

27:00

راح تنفرد إلى خط له نفس الارتفاع ومكانه منزاح وحدة واحدة إلى اليسار.

27:05

وبرضه، كل دائرة بين هاتين الدائرتين راح تنفك إلى واحد من هذه الخطوط العمودية

27:11

الواقعة بين آخر خطين، وبشكل أعم، الحلقات الأصغر والأصغر في الصورة كلها راح تنفرد

27:17

إلى قطع خط عمودية هذه، كل واحدة ارتفاعها 2π، وتكون أبعد فأبعد إلى اليسار في الصورة.

27:24

النتيجة اللي نحصل عليها شوي مدهشة وتدوّخ، لكنها رائعة

27:26

جدًا إذا فكرت فيها، وفيه عدة أشياء مهمة أبغاك تلاحظها.

27:30

أكيد لاحظت إنها تتكرر كلما تحركت إلى اليسار، وراح أخليك تتأمل للحظة ليش ممكن يصير

27:36

هذا في الخلفية، لكن قبل هذا التكرار، أبغى أتكلم عن اتجاه مختلف يتكرر فيه الشكل.

27:42

بالطريقة اللي رسمتها فيها إلى الآن، الجزء التخيلي للقيم على اليسار

27:46

يمتد من 0 إلى 2π، لكن هذا في الحقيقة اختيار نوعًا ما اعتباطي.

27:51

تذكر، إذا واصلت تخلي القيمة z على اليسار ترتفع بمقدار 2π إضافية، فالقيمة

27:56

المقابلة e أس z على اليمين راح تواصل فقط الدوران حول نفس الدائرة مرة

28:00

ثانية، لذلك أتوقع إنك توافقني إنه يبدو على الأقل مغريًا إننا نخلي الصورة

28:05

تتكرر في هذا الاتجاه العمودي على امتداد كل واحد من هذه الخطوط العمودية.

28:12

والموضوع يشتغل بالعكس أيضًا، لما تخلي الجزء التخيلي على اليسار يصغر

28:17

وأنت نازل، فالقيمة المقابلة على اليمين تظل تمشي حول نفس الدائرة،

28:21

لذلك النمط اللي تشوفه من المفترض ربما يتكرر بهذه الطريقة أيضًا.

28:26

ولتوضيح القاعدة أكثر، القاعدة اللي أستخدمها لرسم هذه الصورة

28:30

على اليسار هي إنه لكل نقطة z في هذا المستوى على اليسار، تنظر

28:35

إلى القيمة المقابلة e أس z على اليمين، ثم تعطيها لونًا مطابقًا.

28:40

فمثلاً، هذا مخلوق π المشوّه وهذا وهذا كلهم في الحقيقة يقابلون نفس

28:45

الجزء من الصورة على اليمين، وهو مخلوق π الكبير في أسفل اليسار.

28:51

طريقة ثانية للتفكير في هذا هي إنه بما أن الدالة e أس z هي many-to-one،

28:55

فالإحساس اللي يوصلنا هو إن اللوغاريتم الطبيعي، باعتباره معكوسها، كأنه

29:00

يريد يكون دالة متعددة القيم، شيء يكون فيه دخل واحد يقابله عدة مخارج مختلفة.

29:06

لكن عمليًا، في كثير من الأحيان أنت ما تبغى الدالة يكون لها عدة نواتج،

29:10

وأحيانًا هذا حتى يخالف تعريف الدالة في السياق اللي عندك، لذلك الناس غالبًا

29:15

يختارون شريطًا من هذا المستوى على اليسار ليكون هو مخرجات اللوغاريتم الطبيعي.

29:20

وفي التحليل العقدي، هذا يسمّى اختيار branch cut للدالة.

29:24

لكن بالنسبة لغرضنا هنا، بما إننا نبغى نعيد صنع عمل إيشر ونفهمه، فمن الجميل فعلًا

29:29

إننا نفكر في اللوغاريتم كدالة متعددة القيم، بحيث كل نقطة على اليمين تقابلها سلسلة

29:35

متكررة من النقاط على اليسار، متباعدة عموديًا بمقدار 2π، وتمتد بلا نهاية في الاتجاهين.

29:41

أما في حالتنا الخاصة، فأنت أيضًا ترى هذا النمط المتكرر

29:45

كلما تحركت إلى اليسار، لكن هذا شيء مختلف تمامًا.

29:48

لن ترى هذا في أغلب الصور.

29:51

وهو يظهر تحديدًا لأننا نشتغل على صورة دروستا ذات تشابه

29:55

ذاتي، صورة تبدو متطابقة كلما قرّبتها بعامل معيّن.

29:59

وهذا يخرج مباشرة من خاصية أساسية في اللوغاريتمات والدوال الأسّية.

30:04

الدوال الأسّية تحوّل الجمع إلى ضرب، واللوغاريتمات ترجع الضرب إلى جمع.

30:12

مثلاً، تخيّل إنك تاخذ قيمة صغيرة w على هذا المستوى اللي على اليمين، وبرضه

30:18

تنظر إلى 16 ضعف هذي القيمة، يعني مكبّرة ومبتعدة عن الأصل بمقدار 16 مرة.

30:24

والحين إذا نظرنا إلى القيمة المقابلة، لوغاريتم w على اليسار، فعملية الضرب في 16 تصير

30:30

كأنها جمع، وتحديدًا إزاحة إلى اليمين بمقدار اللوغاريتم الطبيعي لـ 16، وهو مجرد عدد حقيقي.

30:39

فعليًا، هذا المستطيل هنا في صورة اللوغاريتم الغريبة والمشوّهة عندنا، اللي

30:44

عرضه log 16 وارتفاعه 2 pi، يحتوي كل المعلومات عن الصورة اللي على اليمين.

30:50

وهو يقابل هذه الحلقة من صورة دروستا، ولو حرّكت هذا المستطيل إلى

30:56

اليسار بمقدار log 16 بالضبط، راح تحصل على نسخة مصغّرة من هذه

31:01

الحلقة أصغر تمامًا بـ 16 مرة، وتدخل فيها بشكل مثالي كأنها قطعة بازل.

31:07

ولو كررت هذا عددًا لا نهائيًا من المرات، يطلع لك

31:10

هذا التعشيق اللانهائي اللي يميّز تكبير دروستا.

31:14

بالطريقة اللي رسمت فيها الأشياء إلى الآن، عندنا هذا القطع في صورة

31:18

اللوغاريتم من الجهة اليمنى، وفي هذه المرحلة أنت تعرف كويس إن الخطوط

31:22

العمودية على اليسار تقابل دوائر على اليمين، فممكن تتوقع إن هذا يقابل

31:26

حقيقة إني حطّيت نصف قطر أقصى لتلك صورة دروستا، لكن طبعًا ما فيه حاجة تسوي كذا.

31:31

من حيث المبدأ، تقدر تمتد إلى ما لا نهاية في كل الاتجاهات، مع نفس النمط

31:36

الذاتي التشابه كل ما تكبّر، والنتيجة في صورة اللوغاريتم على اليسار

31:41

بتكون إنها تمتد إلى اليمين بقدر ما تبغى، وبرضه مع نمط تبليط متكرر.

31:47

فباختصار، صورة اللوغاريتم على اليسار دورية رأسيًا، بشكل أساسي لأن الدوران على اليمين دوري.

31:54

وهذا بيصير لأي صورة.

31:56

وفي هذه الحالة الخاصة لصورة دروستا، هي كمان دورية

32:00

أفقيًا، لأن صورة دروستا تعيد نفسها كل ما تقرّب فيها.

32:04

وهذه الخاصية الدورية المزدوجة هي اللي بالنهاية

32:07

راح نستفيد منها للوصول إلى النتيجة النهائية.

32:10

والآن صار عندنا كل الأساس اللي نحتاجه.

32:13

وأقدر الآن أخيرًا أوصف لك الدالة اللي تحوّل تكبير

32:16

دروستا إلى هذه الحلقة المغلقة على طريقة إيشر.

32:20

وقبل ما ندخل فيها مباشرة، إحنا غطّينا أشياء كثيرة نوعًا ما،

32:23

فممكن يستاهل نعطي الموضوع شوي مساحة عشان يستوعبه الواحد.

32:26

وكنت ناوي آخذ 30 ثانية سريعة في نقطة ما من هذا الفيديو عشان

32:29

أتكلم عن 3b1b talent، فالحين يبدو وقت مناسب مثل أي وقت ثاني.

32:32

هذا هو معرض الوظائف الافتراضي اللي أجربه هذه السنة، والفكرة الأساسية

32:37

هي إنك، كشخص يقضي وقت فراغه يتعلم عن أشياء مثل اللوغاريتمات المركبة،

32:42

على الأغلب مهتم تشتغل مع فرق تشبهك في التفكير، فضولية، وتقنية.

32:46

فإذا كنت تدور على وظيفة جديدة أو منفتح لفكرة وظيفة

32:49

جديدة، ألقِ نظرة على الجهات الموجودة في 3b1b.co.

32:52

talent.

32:52

ولما تستكشف هذه الصفحة، راح تلقى مقابلات بيني وبين الفرق المعنية، وألغاز وتحديات تقنية

32:58

اختاروا هم يعرضونها لك، وأشياء مختلفة ثانية هدفها تعطيك إحساس بثقافة الفريق التقنية.

33:04

وبصراحة أنا عاجبتني فكرة إني أعرّض هذا الجمهور لفرص مهنية مناسبة لهم،

33:08

لذلك كلما كنت تبحث عن وظيفة، سواء الآن أو لاحقًا، تأكد إنك تطّلع عليها.

33:14

طيب، نرجع لهدفنا الأساسي.

33:16

كيف نقدر نستخدم كل اللي بنيناه عن الدوال المركبة والتحويلات اللي تعطينا خرائط

33:21

مطابقة وكل هذا، عشان نبني نوعًا ما دالة تعيد خلق تأثير معرض المطبوعات الخاص بإيشر؟

33:28

يمكن أسهل شيء إذا حطّيت لك المخطط الكامل للدالة

33:31

مرة وحدة، وبعدها نمر على كل خطوة بتفصيل أكثر.

33:34

أولاً، نأخذ لوغاريتم، فيعطينا هذا النمط الغريب من التبليط الدوري

33:39

المزدوج، وبعدها تدوّر وتكبّر هذا النمط بالطريقة المناسبة تمامًا، ثم

33:44

من هناك تأخذ دالة أسّية ترجع تفكّ التشوّه، لكن هذه المرة مع لمسة معينة.

33:50

قد يبان هذا غريب شوية، لكن في الحقيقة فيه طريقة جميلة

33:52

جدًا تخلّي الفكرة منطقية وتوضح وش اللي فعلاً يصير هنا.

33:56

ارجع وانظر إلى صورة دروستا الأصلية، وتذكّر كيف إننا نريد نأخذ هذا المخلوق الدائري

34:01

الكبير ونربطه somehow بالنسخة الأصغر المشابهة ذاتيًا، بعد تكبير للداخل بمقدار 16 مرة.

34:07

عايزك تتخيل خط بيوصل بين الاتنين دول.

34:11

طريقة واحدة لصياغة الهدف اللي عندنا هي إننا عايزين الدالة

34:15

النهائية تحول خط زي ده إلى حلقة مقفولة في الفضاء النهائي.

34:19

نقطتا نهاية الخط اللي فوق بيمثلوا مخلوق الباي الكبير والصغير، فبالتالي

34:24

أي دالة بتطابق بين المخلوقين دول لازم، على الأقل، تقفل الخط ده.

34:29

دلوقتي فكر شكل الخط ده عامل إزاي في لوغاريتم الصورة.

34:33

مخلوق الباي الكبير بيقابل كل النسخ المتعددة دي هنا جنب الخط التخيلي.

34:39

زي ما اتكلمنا، لما بتصغّر الصورة، ده بيقابل إزاحة لليسار في اللوغاريتم،

34:44

فبالتالي النسخ دي في صورة اللوغاريتم بتمثل مخلوق الباي الصغير ده.

34:50

وفي الحقيقة، بدل ما نستخدم الخط الأفقي ده، إحنا هنحب نستفيد

34:54

من حقيقة إن صورة اللوغاريتم دي دورية في اتجاهين منفصلين.

34:58

فبدلًا من كده، هنشتغل بخط مائل بيوصل بين النسخة دي من

35:02

الشكل الكبير والنسخة اللي تحت على الشمال من الشكل الصغير.

35:07

وده ممكن يبان من غير دافع حاليًا، وهو فعلًا كده، لكن أحسن طريقة

35:11

أشرح بيها ليه هي إني أورّيك بس ده بيمشي إزاي، وبعدها لو حبيت

35:15

نقدر نقارن بده اللي كان هيحصل لو حاولت تستخدم الخط الأفقي.

35:19

دلوقتي المكوّن الهابط الجديد ده في صورة اللوغاريتم بيقابل

35:22

إضافة دوران مع عقارب الساعة للمسار في الصورة الأصلية.

35:26

افتكر، هدفنا إننا نحوّل ده إلى حلقة في الصورة النهائية، لكن أنا وإنت لسه قاضين

35:32

تقريبًا 10 دقايق بنتكلم بالتفصيل عن دالة بتحوّل مقاطع الخطوط إلى دواير، وهي e^z.

35:39

اللي محتاج تعمله هو إنك تخلّي قطعة الخط دي تنتهي وهي عمودية

35:43

تمامًا وارتفاعها 2π، وده في الأساس بيرجع إلى إنك تلفها وتكبّرها

35:48

أو تصغّرها بالطريقة المظبوطة عشان تاخد الطول والاتجاه دول.

35:52

دلوقتي لو فاكر، وإحنا كنا بنسخّن مع الأعداد المركبة، اتكلمنا عن إزاي الضرب

35:57

في ثابت بيديك مزيج من دوران وتغيير مقياس، وفي الحالة دي فيه لمسة فنية ممكن

36:02

تعجبنا، وهي إن مخلوق الباي الكبير اللي تحت على الشمال يفضل ثابت في مكانه،

36:07

وده معناه إن النقطة دي في صورة اللوغاريتم لازم تفضل ثابتة في مكانها، فبدل

36:12

ما كل حاجة تلف حوالين الأصل، إحنا فعلًا عايزين كل حاجة تلف حوالين النقطة دي.

36:18

خلّينا نقول إننا سمّينا النقطة دي مثلًا z₀، وساعتها دي هتبقى شكل الصيغة

36:23

بعد التحديث للدوران وتغيير المقياس، لكن فعليًا معظم الموضوع بيرجع

36:27

لاختيار الثابت c اللي هتضرب فيه، ولو بتحب التمارين، ممكن تستمتع فعلًا

36:32

لو وقفت لحظة وحاولت تطلع القيمة المحددة اللي لازم ياخدها الثابت ده.

36:38

لكن هنا، بما إننا بنتعامل بشكل بصري جدًا وأنا عايز أستمتع شوية، خلّيني أورّيك الثابت ده

36:43

في المستوى المركب الصغير الخاص بيه، وكمان أورّيك إيه اللي بيحصل لو مسكته وحرّكته شوية.

36:50

اختيارات مختلفة بتديك تغييرات مختلفة في المقياس والدوران، واللي

36:53

بعد تطبيق الأس بتطلع منه كل الصور الكاليدوسكوبية الغريبة جدًا دي.

36:58

طريقة ممكن تفكر بيها في العملية كلها هي على إنها لعبة بتحاول فيها تلاقي القيمة

37:03

المظبوطة اللي بتخلّي كل حاجة تصطف بالطريقة اللي محتاجها في الصورة اللي تحت على اليمين.

37:09

ولما بتتظبط على القيمة المناسبة دي ونحصل على تأثير إيشر المعاد

37:12

تكوينه، في الصورة النهائية اللي تحت على اليمين، أنا كنت بوري الفتحة

37:16

دي في النص، المشابهة للفتحة اللي كانت موجودة عند إيشر في عمله الأصلي.

37:20

لكن ده في الحقيقة مفتعل تمامًا.

37:22

صورة الخرج للدالة بطبيعتها بتملى المنطقة دي بنمطها الحلزوني المتكرر للداخل.

37:28

في النهاية، نمط التبليط الملفوف على الشمال ممتد بلا نهاية عبر المستوى

37:33

كله، فلما تاخد له الأس، هو كمان بيملى كل حاجة، ما عدا النقطة عند الصفر.

37:39

وده كل شيء!

37:40

دي هي العملية الأساسية.

37:42

حوّل للمجال اللوغاريتمي الغريب الشكل ده، ولف وكبّر أو

37:46

صغّر عشان تعيد محاذاة الأشياء، وبعدها ارجع بعملية الأس.

37:51

في المرحلة دي، بعد ما عملنا نسختنا الخاصة من إيشر، ممكن يكون لطيف

37:56

إننا نمشي على نفس العملية ونشوف شكلها في مثال إيشر نفسه بالتحديد،

38:00

مدينة مالطية ساحلية فيها معرض مطبوعات وشخص بيبص على صورة للمدينة.

38:06

زي ما عملنا قبل كده، الخطوة الأولى هي إننا نحط المشهد ده على مستوى مركب صغير خاص

38:10

بيه، بحيث تكون نقطة النهاية اللانهائية اللي كل حاجة بتتدرج حولها موجودة عند الصفر.

38:16

الخطوة التانية، ناخد لوغاريتم لده، وده في الحالة دي بيدينا

38:20

تحويل غريب مشابه للمشهد كله، لكن فيه اختلاف بسيط المرة دي.

38:24

لأن أسشر كان يشتغل على تقريب أعمق بكثير، بمعامل مقياس 256، فالبلاطات

38:29

المتكررة في هالمثال الجديد تمتد فعليًا على جزء أوسع من المستوى العقدي.

38:36

الخطوة الثالثة، مرة ثانية، هي إننا ندوّر هذا ونغيّر

38:39

مقياسه، وهذا يعتمد على ضربه في الاختيار المناسب لثابت عقدي.

38:43

الشرط هنا هو التأكد إن هالصورة بعد تدويرها تظل تتكرر كل 2π

38:48

وحدة عموديًا، لكن على طول جزء من الصورة كان قبل بشكل قطري.

38:53

وبعدين الخطوة الرابعة، مرّر كل هذا عبر e أس z، والنتيجة شيء قريب جدًا من صورة

38:59

أسشر النهائية، صورة يكون فيها المشي حول حلقة مساويًا للتقريب للداخل بمعامل 256.

39:07

ومرة ثانية، لما نأطّر الموضوع بهالطريقة باستخدام

39:09

الدوال العقدية، ما فيه أي فجوة في المنتصف.

39:12

وهذي النتيجة النهائية هي نفسها صورة دروستا، لكن هالمرة مع لفة، بحيث يكون فيه

39:17

نوع من التشابه الذاتي يلتف بشكل حلزوني وينزل بلا نهاية مهما حبيت تقرّب للداخل.

39:24

فيه كم شغلة تستحق الملاحظة في هالعملية كلها.

39:27

أول شيء، إذا كتبت هالفكرة على شكل معادلة، بحيث تاخذ لوغاريتم، وتضربه في ثابت، وبعدين

39:33

ترفعه أسيًا، فهالشي فعليًا يقدر يتبسط ويصير كأنه مجرد رفع الإدخال لقوة ثابت عقدي معيّن.

39:39

وإذا رجّعت عامل الإزاحة، فهو بس يضيف ثابت ثاني.

39:43

من جهة، فيه شيء مُرضي جدًا في إن هالعملية المعقدة كلها ممكن تنضغط إلى عدد قليل

39:48

جدًا من الرموز على الصفحة، لكن أحس هذا ممكن شوي يطمس اللي قاعد يصير فعلًا.

39:53

وبرضه، كنت ذكرت إن الأمور ما راح تشتغل إذا حاولت تستخدم هذي الخطوط الأفقية فقط.

39:58

إذا كنت فضولي، فهذا هو شكل النتيجة لو جرّبت تسوي كذا، وهذا

40:01

يعني تدوير كل شيء 90 درجة وتغيير المقياس بالمقدار المناسب.

40:05

تطلع لك نتيجة فيها شيء مثير للاهتمام، لكنها ببساطة مو الشيء اللي نبغاه.

40:09

ولو فكرت فيها، اللي قاعد يصير أساسًا هو إنك تبدّل أدوار الدوران وتغيير المقياس.

40:16

إذا رجعنا خطوة للوراء ونظرنا للموضوع كله، فهذي النظرة الثانية، اللي يكون

40:20

فيها العمل كله قائم على الدوران داخل فضاء لوغاريتمي، تحسها مختلفة تمامًا

40:24

عن طريقة أسشر الأكثر حدسية باستخدام الشبكة المشوّهة وتشويه الشبكة.

40:28

لكن فيه خيط يربط بين النظرتين.

40:31

أولًا، صار بإمكانك الآن تفهم بالضبط كيف كنا نعيد صنع الشبكة اللي كان عند أسشر ونعدّلها.

40:37

ببساطة تأخذ نفس الدالة اللي بنيناها، لكن بدل ما

40:41

تطبقها على صورة، تطبقها على شبكة مربعة عادية.

40:45

أو بالأصح، مو شبكة مربعة عادية تمامًا.

40:48

الأفضل تشتغل على شبكة تصير أكثر كثافة كل ما قرّبت

40:50

للداخل عشان يظل شكلها نفسه على كل المقاييس.

40:54

لما تسوي هذا، يعطيك اللوغاريتم هذا النمط الجميل جدًا من التبليط المنحني.

40:58

وبعدين من هناك، تسوي نفس الحركة، تدوّر الأشياء بالطريقة المناسبة تمامًا، وبعدها تأخذ

41:03

الأسّي، فتطلع بنتيجة قريبة جدًا من الشيء اللي أسشر قضى ساعات طويلة ومتعبة في بنائه.

41:09

وتذكر، السبب الأساسي اللي خلانا نستخدم لغة الأعداد العقدية، والسبب اللي خلاني

41:14

أخليك تمر بكل هذي اللفات، هو إن خاصية المطابقة الزاوية هذي تظهر كنتيجة جانبية.

41:20

المربعات الصغيرة من الشبكة الأصلية تظل، على الأقل بشكل تقريبي، مربعات في النتيجة النهائية.

41:26

أسشر قال إن صنع هالقطعة سبب له صداعًا هائلًا، ومع إنك أنا وأنت يمكن تحملنا كم صداع

41:32

نحن بعد لكن لأسباب مختلفة جدًا، فالمكسب هو إن هالخاصية تجينا من دون أي مجهود إضافي.

41:39

وللتوضيح، أكيد مو لازم تفهم المشتقات العقدية أو

41:42

اللوغاريتمات عشان تستمتع بعمل أسشر، وما أبغى أوحي إنك لازم.

41:46

لكن لما تفهم هالجانب الرياضي أكثر، هذا يعطيك قدرة على

41:50

نوع مختلف تمامًا من التقدير للي كان أسشر يسويه فعلًا.

41:55

وهذا هو الشي اللي أشوفه مدهش في كل الموضوع، الربط

41:58

الحقيقي اللي أبغى أوصله بين الخطين القصصيين.

42:01

إذا نظرت لمسيرة إيشر، بتشوف إنه طولها كان منجذب لمفاهيم

42:04

معينة، أشياء مثل تمثيل اللانهاية داخل مساحة محدودة.

42:08

وفي نفس الوقت، كان شكله مسترشد بذائقة جمالية معيّنة، غالبًا قاعدة صارمة

42:12

ضمنية مثل فكرة إن المربعات الصغيرة تظل مربعات صغيرة في هاي الشبكة.

42:17

والنتيجة النهائية لما يندمج المفهوم مع الجماليات بهالشكل هي إن أي قطعة من إيشر

42:23

غالبًا تحسها كأنها حل للغز، لكن لغز من الأساس مش واضح حتى إنه لازم يكون له حل.

42:29

والشي اللي أشوفه يثير التفكير فعلًا هو إن هالألغاز البصرية

42:32

اللي وصل لها ما هي مجرد أشياء مشابهة لفعل ممارسة الرياضيات.

42:36

البُنى المحددة اللي كان منجذب لها بشكل حدسي غالبًا تخفي داخلها رياضيات حقيقية وعميقة جدًا.

42:44

في مثالنا، البنية الأعمق مو بس إن القطعة ممكن توصف بدوال مركبة.

42:50

الأفكار اللي لمسناها في هالقصة أقرب بكثير مما تتوقع إلى حدود البحث العلمي الحالية.

42:56

إذا رجعت لطريقتنا في النصف الثاني، تذكّر كيف كانت تعتمد على استخدام هذا

43:01

النمط الدوري المزدوج في المستوى المركب، شي يتكرر في اتجاهين منفصلين.

43:07

في الواقع فيه اسم خاص للدوال على الأعداد المركبة اللي تكون دورية مزدوجة بهالشكل.

43:12

معروفة باسم الدوال الإهليلجية.

43:14

وبيكون كثير لو شرحت هنا بالضبط ليش هالدوال مفيدة لهالدرجة، لكن شي واحد أبغى

43:19

أبرزه هو إن هذول العالِمَين اللي ذكرتهم في البداية، اللي قدموا تحليل هالقطعة،

43:25

دي سميت ولينسترا، هم الاثنين من منظّري الأعداد، والدوال الإهليلجية لها دور بارز

43:30

جدًا في نظرية الأعداد الحديثة، وتوفر نوع من الجسر إلى أجزاء أخرى من الرياضيات.

43:36

وهذا قد يفسر جزئيًا على الأقل كيف قدروا ينظروا لهاي

43:39

القطعة ويفكروا في بناء تلك الدالة اللي عرضناها هنا.

43:44

لما أنظر إلى أعمال إيشر، سواء كانت معرض المطبوعات أو كثير من

43:48

الأعمال المفضلة الأخرى، السبب اللي يخليني أحب هالقطع لهالدرجة

43:51

هو إنها توقظ داخلي شعور محدد جدًا وصعب ألاقيه في مكان ثاني.

43:55

هو شعور إن الأشياء تركب في مكانها بشكل مثالي.

43:58

لكن هذا مو الوصف الدقيق تمامًا.

43:59

هو أكثر من مجرد متعة رؤية لغز انحل.

44:02

هو تقدير للعبقرية الإبداعية المطلوبة أصلًا حتى لتخيّل اللغز من البداية.

44:08

المكان الوحيد الآخر اللي يجيني فيه هذا الشعور هو أثناء ممارسة الرياضيات.

44:11

فكون فنان وعالِم رياضيات ينجذبون إلى نفس البُنى، لكن لأسباب مختلفة

44:17

تمامًا، يوحي لي إن فيه شيء عالمي في طبيعة الشي اللي كل واحد منهم ينجذب له.

Interactive Summary

يتناول الفيديو تحليلاً رياضياً وفنياً للوحة 'معرض المطبوعات' للفنان م.س. إيشر، مستعرضاً كيف نجح إيشر في دمج مفاهيم هندسية معقدة مثل التشابه الذاتي (تأثير دروستا) لإنشاء حلقة بصرية مستمرة. يشرح الفيديو كيف يمكن إعادة بناء هذا التأثير باستخدام الدوال المركبة في الرياضيات، وتحديداً من خلال التحويلات التوافقية واللوغاريتمات العقدية، موضحاً أن التزام إيشر بخصائص هندسية معينة (مثل الحفاظ على زوايا المربعات) يتقاطع بشكل مدهش مع مبادئ حساب التفاضل والتكامل في الأعداد المركبة.

Suggested questions

3 ready-made prompts