ប្រព័ន្ធគោលពីរនិងលក្ខណៈសម្បត្តិទំនាក់ទំនងរបស់ពួកគេ

មួយជួរយ៉ាងទូលំទូលាយនៃទំនាក់ទំនងសម្រាប់សំណុំឧទាហរណ៍អមដោយមួយចំនួនធំនៃគំនិតតាំងពីនិយមន័យនិងការវិភាគវិភាគនៃការបញ្ចប់ភាពប្លែករបស់ពួកគេ។ ភាពខុសគ្នានៃគំនិតពិភាក្សានៅក្នុងអត្ថបទនៅលើសំណុំរៀងរហូតនោះទេ។ ទោះបីជានៅពេលដែលនិយាយអំពីប្រភេទពីរដោយនេះគឺជាទំនាក់ទំនងរវាងអថេរជាច្រើនគោលពីរ។ និងការផងដែររវាងវត្ថុឬពាក្យជាបណ្ដោះអាសន្ន។

តាមក្បួនមួយទំនាក់ទំនងគោលពីរនេះត្រូវបានបង្ហាញដោយ៛នោះគឺថាប្រសិនបើ xRx សម្រាប់តម្លៃណាមួយនៃ x នៅក្នុងវិស័យ៛ដូចអចលនទ្រព្យមួយដែលត្រូវបានគេហៅថាបត់បែន, ដែលជាកន្លែងដែល x និង x - ត្រូវបានធ្វើឱ្យវត្ថុនៃការគិតនិង R ជាសញ្ញាមួយនៃសំណុំបែបបទមួយចំនួននៃការទំនាក់ទំនងរវាងបុគ្គលមួយ ។ នៅពេលដូចគ្នានេះដែរប្រសិនបើការលឿនឬxRy® yRx វាបាននិយាយអំពីរដ្ឋស៊ីមេទ្រីដែលជាកន្លែងដែល® - សញ្ញាលើទំនាក់ទំនងស្រដៀងគ្នានឹងសហជីពនៃ "បើ ... បន្ទាប់មក ... " ហើយនៅទីបញ្ចប់ deciphering សិលាចារឹក (xRy អ៊ុយ Rz) ។ ®xRzប្រាប់អំពីទំនាក់ទំនងផ្លាស់ប្តូរដោយមានសញ្ញានៃការ u - នេះជាការភ្ជាប់មួយ។

ការទំនាក់ទំនងប្រព័ន្ធគោលពីរដែលមានទាំងបត់បែនស៊ីមេទ្រីនិងការផ្លាស់ប្តូរត្រូវបានហៅថាទំនាក់ទំនងស្មើមួយ។ សមាមាត្រនៃ f - មុខងារនិងការនៃការ ខ្ញុំចនិង ខ្ញុំចមានន័យថាសមភាព y = z ។ មុខងារប្រព័ន្ធគោលពីរសាមញ្ញត្រូវបានអនុវត្តយ៉ាងងាយស្រួលអាចទៅអាគុយម៉ង់សាមញ្ញពីរបានរៀបចំនៅក្នុងលំដាប់ជាក់លាក់មួយ, ហើយបានតែក្នុងករណីនេះវាបានផ្ដល់នូវតម្លៃទៅឱ្យវាទាំងពីរនេះបានដឹកនាំកន្សោមគេនាំយកនៅក្នុងករណីជាក់លាក់មួយ។

វាគួរតែនិយាយថាចផែនទី x ដើម្បី Y, ប្រសិនបើមានចគឺជាមុខងារនៃតំបន់តំបន់និយមន័យតម្លៃ x និង y ។ ទោះជាយ៉ាងណានៅពេលដែល extrapolates f x លើ y, និង y i z, បន្ទាប់មកនេះនាំឱ្យមានការពិតដែលថាការបង្ហាញ f ក្នុង x Z. ខ។ ឧទាហរណ៍សាមញ្ញ: ប្រសិនបើ f (x) = 2x មានសុពលភាពសម្រាប់ចំនួនគត់បំពានដោយស្មើភាព X, បន្ទាប់មកយើងនិយាយបានថាចបានចុះហត្ថលេខាលើសំណុំផែនទីចំនួនគត់ទាំងអស់បានស្គាល់ពីមនុស្សជាច្រើននៃទាំងមូលដូចគ្នានោះទេប៉ុន្តែពេលនេះទោះបីជាចំនួនលេខ។ ដូចដែលបានរៀបរាប់ខាងលើ, ទំនាក់ទំនងគោលពីរដែលបត់បែនក្នុងពេលដំណាលគ្នា, ស៊ីមេទ្រីនិងការផ្លាស់ប្តូរគឺមានទំនាក់ទំនងនៃការស្មើនេះ។

ដោយផ្អែកលើខាងលើទំនាក់ទំនងនៃការស្មើកំណត់ដោយលក្ខណៈសម្បត្តិនៃការទំនាក់ទំនងគោលពីរនេះ:

• ន្របតិកមម - សមាមាត្រ (M ~ N);
• ស៊ីមេទ្រី - ប្រសិនបើសមភាព M ~ N, នឹងមានលេខ ~ M បាន;
• ការផ្លាស់ប្តូរ - ប្រសិនបើចំនួនពីរសមភាពនិង M N ដែល N ~ ~ P បានលទ្ធផល M ~ ប្រាសាទនេះ

ដោយបានចាត់ទុកថាជាលក្ខណៈសម្បត្តិកម្មវិធីទំនាក់ទំនងប្រព័ន្ធគោលពីរនៅក្នុងលម្អិតបន្ថែមទៀត។ Reflex - ជាផ្នែកមួយនៃលក្ខណៈនៃតំណភ្ជាប់មួយចំនួន, ដែលជាកន្លែងដែលធាតុគ្នានៃសំណុំការធ្វើតេស្តនេះគឺនៅក្នុងសមភាពនេះដោយខ្លួនវាផ្ទាល់។ ឧទាហរណ៍រវាងលេខមួយ = គនិងa³ជាមួយ - ការទំនាក់ទំនងបត់បែនដោយសារតែមានគឺតែងតែជា = គ = គនិងa³, s³ជាមួយ។ នៅពេលដូចគ្នានេះដែរសមាមាត្រនៃវិសមភាពមួយ> គ - antireflexive ដោយសារតែមិនអាចទៅរួចនៃវិសមភាពមួយ> មួយ។ ពាក្យស្លោកជាភាសាអង់គ្លេសនៃអចលនទ្រព្យនេះត្រូវបានបម្លែងតួអក្សរ: aRc® Ara u កាកបាទក្រហមកម្ពុជានៅទីនេះនិមិត្តសញ្ញា®បង្ហាញថាពាក្យ "មានន័យថា" (ឬ "មានន័យថា") និង U សញ្ញា - ឈរដោយ "និង" (ឬការភ្ជាប់) ។ ពីសេចក្តីថ្លែងការណ៍នេះវាដូចខាងក្រោមថាប្រសិនបើការពិតនៃការសំបណើតបជាការ ara បញ្ចេញមតិពិតនិងធ្នូនិង CRC មួយ។

symmetry ហុចផលអត្ថិភាពនៃទំនាក់ទំនងនេះហើយប្រសិនបើវត្ថុផ្លូវចិត្តត្រលប់ក្រោយពោលគឺជាការរៀបចំទំនាក់ទំនងនៃវត្ថុមិនស៊ីមេទ្រីនាំឱ្យមានការផ្លាស់ប្តូរមិនបាននៃសំណុំបែបបទនេះ "ទំនាក់ទំនងគោលពីរ" ។ ឧទាហរណ៍ទំនាក់ទំនងនៃសមភាពជាគគឺ = ស៊ីមេទ្រីដោយសារតែទំនាក់ទំនងគ = ស្មើជាមួយ; ផងដែរa¹sស្មើភាពគ្នានិងការវិនិច្ឆ័យ, ដូចដែលវាបានជួបs¹aទំនាក់ទំនង។

សំណុំផ្លាស់ប្តូរ - វាគឺជាអចលនទ្រព្យមួយនៅក្នុងការដែលបំពេញតម្រូវការដូចខាងក្រោម: នៅ i x, y ដែល®ខ្ញុំ z i z x, ដែលជាកន្លែងដែលជាសញ្ញា®អំពើជំនួសពាក្យថា: «ប្រសិនបើ ... បន្ទាប់មក ... "។ ពាក្យសម្ដីរូបមន្តដូច្នេះអានដូច: "ប្រសិនបើឯករាជ្យនៃ x, z ជាកម្មសិទ្ធិ y, z ជាអនុគមន៍នៃ x »។