پرش به محتوا

نقطه‌گون

از ویکی‌پدیا، دانشنامهٔ آزاد

صفت نقطه‌گون (به انگلیسی: pointwise) در ریاضیات برای نمایش آن است که یک «ویژگی معین» توسط «سنجش هر مقدار برای تابع » تعریف می‌شود. کلاس مهمی از مفاهیم نقطه‌گون همان عملیات نقطه‌گون است، یعنی، عملیاتی که روی توابع با اعمال عمل روی مقادیر تابع، به صورت مجزا، برای هر نقطه در دامنه تعریف می‌گردد. تعریف‌های نقطه‌گون درباره «روابط» هم به کار می‌رود.

عملیات نقطه‌گون

[ویرایش]
جمع نقطه‌گون (نمودار بالا، بنفش) و ضرب (سبز) برای توابع سینوس (نمودار پایین آبی) و ln (قرمز). باریکه عمودی پررنگ نمایش‌دهنده محاسبات در نقطه x=2π است.

تعریف صوری

[ویرایش]

می‌توان یک عمل دودویی o: Y × YY روی مجموعه Y را به صورت نقطه‌گون به یک عمل O: (XY) × (XY) → (XY) روی مجموعه XY از همه توابع از X به Y به این شیوه ترفیع داد که: اگر دو تابع f1: XY و f2: XY داشته باشیم، تابع O(f1,f2): XY را به صورت زیر تعریف می‌کنیم:

برای همه xX داریم (O(f1,f2))(x) = o(f1(x),f2(x)) .

معمولا o و O با نماد مشابهی نمایش داده می‌شوند. تعریف مشابهی برای عمل یکتایی o، و همچنین برای عمل‌هایی با آریتی دیگر به کار می‌رود.[نیازمند منبع]

مثال‌ها

[ویرایش]

که در آن است.

ضرب نقطه‌گون و نرده‌ای را ببینید.

یک مثال از عمل روی تابع که نقطه‌گون نیست، عمل هم‌گشت (یا کانولوشن) است.

ویژگی‌ها

[ویرایش]

عمل‌های نقطه‌گون وبژگی‌هایی مثل خاصیت انجمنی، جابجایی و توزیع‌پذیری را از عمل متناظر روی هم‌دامنه به ارث می‌برند. اگر یک ساختار جبری باشد، مجموعه همه توابع به مجموعه حامل را می‌توان به یک ساختار جبری با نوع مشابه به روش مشابهی تبدیل نمود.

عمل‌های مولفه‌گون

[ویرایش]

عمل‌های مولفه‌گون (به انگلیسی: componentwise operations) معمولا روی بردارها تعریف می‌شود، که در آن بردارها عناصر مجموعه هستند (برای یک عدد طبیعی و یک میدان ). اگر ما مولفه ام از هر بردار را به صورت نشان دهیم، آنوقت جمع مولفه‌گون برابر است.

عمل‌های مولفه‌گون را می‌توان روی ماتریس‌ها هم تعریف کرد. جمع ماتریسی، که در آن است یک عمل مولفه‌گون است درحالیکه ضرب ماتریسی اینطور نیست.

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

روابط نقطه‌گون

[ویرایش]

در نظریه ترتیب می‌توان ترتیب جزیی نقطه‌گون را روی توابع تعریف کرد. اگر A و B پوست باشند، می‌توان مجموعه توابع AB را توسط fg مرتب نمود، اگر و فقط اگر (∀x ∈ A) f(x) ≤ g(x) باشد. ترتیب‌های نقطه‌گون بعضی از ویژگی‌های پوست‌های مبنا را به ارث می‌برند. برای مثال اگر A و B مشبکه پیوسته باشند، آنوقت مجموعه توابع AB هم با ترتیب نقطه‌گون، یک مشبکه پیوسته است.[۱] به کمک ترتیب نقطه‌گون روی توابع، می‌توان دیگر مفاهیم مهم دیگر را به دقت تعریف کرد، مثلا:[۲]

یک مثال از یک رابطه نقطه‌گون بی‌نهایت همان همگرایی نقطه‌گون برای توابع است—یک دنباله از توابع

با

به صورت نقطه‌گون به یک تابع همگرا می‌شود اگر برای هر در داشته باشیم

یادداشت

[ویرایش]
  1. Gierz et al., p. xxxiii
  2. Gierz, et al., p. 26

پانویس

[ویرایش]

منابع

[ویرایش]

مشارکت‌کنندگان ویکی‌پدیا. «Pointwise». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۶ ژانویهٔ ۲۰۲۲.