ബൈനറി ബന്ധം സ്വത്തുക്കളും

മാതൃക ബന്ധമുള്ള അവരുടെ നിർവ്വചനങ്ങളും വിരോധാഭാസം അവസാനിപ്പിക്കണമെന്ന അനലിറ്റിക്കൽ വിശകലനം ശേഷം ആശയങ്ങൾ ഒരു വലിയ സംഖ്യ ഒപ്പമുണ്ടായിരുന്നു വൈവിധ്യമാർന്ന. എന്നേക്കും സെറ്റിൽ ലേഖനത്തിൽ ചർച്ച ആശയങ്ങളെ വൈവിധ്യമാർന്ന. ഡ്യുവൽ തരം സംസാരിക്കുന്നത് വരുമ്പോൾ എങ്കിലും, ഈ വഴി നിരവധി വേരിയബിളുകൾ തമ്മിലുള്ള ഒരു ബൈനറി ബന്ധം ഉദ്ദേശിച്ചുള്ള. കൂടാതെ വസ്തുക്കളോ ഉച്ചാരണം തമ്മിലുള്ള.

ചിന്തയുടെ വസ്തുക്കൾ ഉണ്ടാക്കി, ആർ വ്യക്തികൾ തമ്മിലുള്ള ബന്ധം ചില ഒരു അടയാളം - ചട്ടം പോലെ, ബൈനറി ബന്ധങ്ങൾ ആർ സൂചിപ്പിച്ചിരിക്കുന്നു, ആ ക്സര്ക്സ ആർ മേഖലയിലെ X ഏതെങ്കിലും മൂല്യം അത്തരം ഒരു പ്രോപ്പർട്ടി റിഫ്ലെക്സീവ്, എവിടെ x, x വിളിക്കുന്നു എങ്കിൽ ആണ് . അതേസമയം, എക്സ്പ്രസ് അല്ലെങ്കിൽ ക്സര്യ്® യ്ര്ക്സ എങ്കിൽ, അത് സമമിതി സംസ്ഥാന എവിടെ ® ചുറ്റിപ്പറ്റിയാണ് - ഇതായിരുന്നു അടയാളം, കേന്ദ്ര സമാനമായ "തന്നെയാണ് ... ..." ഒടുവിൽ, ഗതികവുമായി ലിഖിതങ്ങൾ (XRY UY യമഹയ്ക്കെതിരെ). U അടയാളം കൊണ്ട്, സകർമ്മകം ബന്ധം പറയാൻ ®ക്സര്ജ് - ഇത് ഒരു സംയോജിച്ച് ആണ്.

, രണ്ടും റിഫ്ലെക്സീവ് സമമിതീയഗ്രൂപ്പ്, ഒപ്പം സകർമ്മകം ഒരു തുല്യതയുടെ ബന്ധം വിളിക്കുന്നു എന്നു ഒരു ബൈനറി ബന്ധപ്പെട്ട്. എഫ് എന്ന അനുപാതം - ഒരു ചടങ്ങിൽ, കുറിച്ചു ഞാൻ എഫ്, ഞാൻ എഫ് സമത്വം Y = z സൂചിപ്പിക്കുന്നു. സിമ്പിൾ ബൈനറി പ്രവർത്തനം എളുപ്പത്തിൽ ഒരു ക്രമത്തിൽ, മാത്രം ഈ കേസിൽ ക്രമീകരിച്ചിരിക്കുന്നത് രണ്ട് ലളിതമായ വാദങ്ങൾ പ്രയോഗിക്കാൻ കഴിയും, അത് ഒരു മൂല്യം നൽകുന്നു, ഈ രണ്ടു പദപ്രയോഗങ്ങൾ, ഒരു പ്രത്യേക കേസ് എടുത്ത സംവിധാനം.

അതു Y വരെ എഫ് മാപ്പുകൾ, ആ പറയണം, എഫ് മേഖല നിർവചനം ഏരിയ മൂല്യങ്ങൾ x, y ഒരു ഫങ്ഷൻ എങ്കിൽ. എന്നാൽ, Y ന് എഫ് X അവനായി വരുമ്പോൾ,, y ഞാൻ Z, ഈ X z- ലുള്ള എഫ് ഷോ വസ്തുത നയിക്കുന്നു. ഒരു ലളിതമായ ഉദാഹരണം: എങ്കിൽ എഫ് (X) = 2x ഒരേ ഏകപക്ഷീയമായ പൂർണ്ണസംഖ്യ എക്സ് വേണ്ടി സാധുവാണ്, ഞങ്ങൾ എഫ് മുഴുവന് പല അറിയപ്പെടുന്ന എല്ലാ പൂർണ്ണസംഖ്യകളുടെ ഒപ്പിട്ട ഒരു സെറ്റ് മാപ്പുചെയ്യുന്ന, എന്നാൽ ഈ സമയം പോലും നമ്പറുകൾ പറയുന്നു. മുകളിൽ സൂചിപ്പിച്ച, ആ ഒരേ റിഫ്ലെക്സീവ്, സമമിതീയഗ്രൂപ്പ്, ഒപ്പം സകർമ്മകം ബൈനറി ബന്ധം തുല്യതയുടെ എന്ന ബന്ധം ആണ്.

തുല്യതയുടെ മുകളിൽ, ബന്ധം ബൈനറി ബന്ധങ്ങളുടെ പ്രോപ്പർട്ടികൾ നിർണ്ണയിക്കുന്നത് അടിസ്ഥാനമാക്കി:

• രെഫ്ലെക്സിവിത്യ് - അനുപാതം (എം ~ വ);
• സമമിതി - സമത്വം എം ~ എൻ എങ്കിൽ, എൻ ~ എം ഉണ്ടാകും;
• ത്രംസിതിവിത്യ് - രണ്ട് സമത്വം, എം ~ എൻ എൻ ~ പി, ഫലം എം ~ പി എങ്കിൽ

കൂടുതൽ വിശദമായി ബൈനറി ബന്ധങ്ങളുടെ അപേക്ഷ പ്രോപ്പർട്ടികൾ പരിഗണിക്കും കരുതിയിരുന്നു. രെഫ്ലെക്സിവിത്യ് - ടെസ്റ്റ് സെറ്റ് ഓരോ മൂലകം ഈ സമത്വം തന്നെ എവിടെ, ചില ലിങ്കുകളിൽ പ്രത്യേകതകൾ ഒന്നാണ്. ഒരു = സി = സി, അ³, കൂടെ സ്³ എപ്പോഴും കാരണം, റിഫ്ലെക്സീവ് ആശയവിനിമയം - ഉദാഹരണത്തിന് നമ്പറുകൾ ഒരു = കൂടെ സി ആൻഡ് അ³ തമ്മിലുള്ള, വേണ്ടി. കാരണം അസമത്വം ഒരു> ഒരു എന്ന ഇംപൊഷിബിലിത്യ് എന്ന അംതിരെഫ്ലെക്സിവെ - അതേസമയം, അസമത്വം ഒരു> സി എന്ന അനുപാതം. ഈ സ്വത്തിന്റെ അനുശാസിക്കുന്നത് എൻകോഡ് പ്രതീകങ്ങൾ - BY "എന്നും" (അല്ലെങ്കിൽ സംയോജിച്ച്) നിൽക്കുന്നു അര്ച്® അറ യു CRC, ഇവിടെ ചിഹ്നം ® പദം "സൂചിപ്പിക്കുന്നു" (അല്ലെങ്കിൽ "സൂചിപ്പിക്കുന്നു") ഉം യു അടയാളം സൂചിപ്പിക്കുന്നത്. ഈ പ്രസ്താവന നിന്ന് ഒരു അഭിപ്രായമുണ്ടെങ്കിൽ സത്യം പോലെ സത്യവും ആർക് പദപ്രയോഗം അറ and CRC എങ്കിൽ കാര്യം.

സമമിതിഗ്രൂപ്പുകൾ ബന്ധം അസ്തിത്വം എസ്തേർ മാനസിക വസ്തുക്കൾ വിപരീത എങ്കിൽ, വസ്തുക്കൾ ഒരു പ്രതിസമതയോടെ ബന്ധം പ്ലേറേറാണിക ഫോം പരിവർത്തനം നയിക്കുന്നില്ല അതായത് "ബൈനറി ബന്ധം." ഉദാഹരണത്തിന്, സമത്വം = സി ബന്ധം കാരണം = സി ഒരു സമവാക്യമായ വരെ കുംഭഗോപുരങ്ങൾ സ്ഥിതി; അതുപോലെ തന്നെ അ¹സ് ന്യായവും അതിൽ ആശയവിനിമയവും സ്¹അ പഴയകാല.

എനിക്ക് X ന്, z എന്നാ ® z എനിക്ക് X, എവിടെ ® വാക്കുകൾ പകരം ഒരു അടയാളം വേഷവും:: "എങ്കിൽ ... പിന്നെ ..." - സകർമ്മകം സെറ്റ് അത് താഴെ ആവശ്യങ്ങള് ഒരു പ്രോപ്പർട്ടി ആണ്. പ്രതിയെ ഫോർമുല അങ്ങനെ തന്നെ വായിക്കുന്നു: "X സ്വതന്ത്രമായ എങ്കിൽ, z X പ്രവർത്തനം പോലെ y, z ആധിപത്യം."