یک مثالِ کاربردی از شِف: نقشهی دمای یک شهر
«هر محله سخنی از دما دارد؛ اگر سخنها در مرزها یکی باشند، شهر یک آبوهوا خواهد داشت.»
فرض کنید میخواهیم نقشهی دمای یک شهر را بسازیم. شهر را با
X
نشان میدهیم و آن را به چند ناحیهی باز تقسیم میکنیم.
X = U ∪ V
مثلاً
U
بخش غربیِ شهر و
V
بخش شرقیِ شهر باشد. این دو ناحیه در قسمت مرکزی شهر با هم اشتراک دارند:
U ∩ V = ناحیهی مرکزی
اکنون روی هر ناحیه، از ایستگاههای هواشناسی دما را اندازه میگیریم. یک مقطع روی
U
یعنی یک تابعِ دما مانند:
TU : U → R
و به همین شکل، روی ناحیهی
V
داریم:
TV : V → R
شرطِ سازگاری
اگر دو گروهِ اندازهگیری، در بخشِ مرکزیِ شهر دما را یکسان گزارش کنند، یعنی:
TU(x) = TV(x)
for every x ∈ U ∩ V
آنگاه میتوان این دو نقشهی محلی را به یک نقشهی دمای سراسری برای تمام شهر چسباند:
T : X → R
به طوری که:
T|U = TU
T|V = TV
یک نمونهی عددی
فرض کنید در محلههای غربی، گروهِ نخست دما را با فرمول زیر ثبت کرده است:
TU(x) = 25 + x
و گروهِ دوم در محلههای شرقی نیز همان قانون را یافته است:
TV(x) = 25 + x
پس در ناحیهی مشترک، هیچ اختلافی وجود ندارد. بنابراین نقشهی کلیِ دما به صورت زیر تعریف میشود:
T(x) = 25 + x
اگر گزارشها ناسازگار باشند چه میشود؟
حال فرض کنید در منطقهی مشترک، ایستگاهِ نخست دما را
28
درجه و ایستگاهِ دوم آن را
31
درجه اعلام کند. در این صورت داریم:
TU(x) ≠ TV(x)
on U ∩ V
دیگر نمیتوان یک نقشهی دمای یکتا برای شهر ساخت؛ زیرا یک نقطه در ناحیهی مرکزی باید همزمان دو دمای متفاوت داشته باشد.
ارتباط مستقیم با مفهومِ شِف
در این مثال:
- هر بازِ شهر، یک ناحیهی محلی است.
- هر تابعِ دما، یک مقطعِ محلی است.
- برابر بودن گزارشها در ناحیهی مشترک، شرطِ سازگاری است.
- نقشهی نهاییِ دمای شهر، مقطعِ سراسری است.
پس شِف، تنها یک تعریفِ انتزاعی نیست: هر جا دادهها به طور محلی گردآوری شوند و لازم باشد از سازگاریشان یک تصویرِ کلی بسازیم، اندیشهی شِف حضور دارد؛ از نقشههای هواشناسی و حسگرهای شهری تا تصویرسازی پزشکی، دادههای شبکهای و حلِ معادلات دیفرانسیل بر نواحی مختلف.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.