پوشش موضعی متناهی

{locally finite covering} [ریاضی] پوششی از یک فضای توپولوژیکی به طوری که هر نقطۀ فضا یک همسایگی دارد که فقط تعداد متناهی از عنصرهای آن پوشش را قطع می کند

پوششی از یک فضای توپولوژیکی به‌طوری‌که هر نقطۀ فضا یک همسایگی دارد که فقط تعداد متناهی از عنصرهای آن پوشش را قطع می‌کند.

💡 مجموعه ای متناهی (که به آن مجموعه زمینه گفته می شود) و

💡 پیدایش ماتریس به نیاز انسان در قبال انجام عملیات‌های گوناگون روی تعداد متناهی بردار برمی گردد. از آنجا که معمولآ این بردارها هم بعد هستند دسته‌بندی کلی زیر را برای ماتریس‌ها قایل می‌شویم.

💡 یا خودْ یا مکملش متناهی است (یعنی این مجموعه را می‌توان تنها با نمادِ تساوی تعریف کرد).

💡 ماشین تورینگ و ماشین‌های تعین‌پذیر حالات متناهی نمونه‌هایی از ماشین قطعی انتزاعی هستند.

💡 متغیر تصادفی گسسته، حالت قابل شمارش فرض کنیدXیک متغیر تصادفی گسسته‌ای باشد که مقادیر x1, x۲, … به ترتیب با احتمالات، p1, p۲, … را در خود می‌گیرد. پس مقدار مورد انتظار این متغیر تصادفی جمع متناهی زیر می‌باشد:

💡 مولفه اصلی در تعیین یک دستور صوری است (مخصوصا دستور زایشی). مولفه‌های دیگر یک مجموعه متناهی