Композиція відношення

Нехай A={a1,a2,a3}, B={b1,b2}, R={(a1,b1),(a2,b2),(a3,b1)}. Застосовуючи природну нумерацію рядків та стовбців, отримуємо: MR= , MR−1= , Тобто R-1={(b1,a1),(b2,a2),(b1,a3)}. Композиція відношень: визначається для відношень R:A→B та S:B→C,як відношення R о S:A→C, таке, що: a(R о S)c рівносильно, що існує b, що належить B: aRb ^ bSc. Зауважимо, що для запису композиції функції зручним та загальноприйнятим є зворотний запис, що виглядає так: ((g о f(x))=g(f(x))), однак для композиції відношень часто використовують як прямий, так і зворотній запис. Для скінченних множин А, В та С з невеликою кількістю елементів композицію відношень зручно обчислювати за допомогою стрілкових діаграм.

Властивості

a (R о R−1) b рівносильно існує c: (a R c) ^ (c R−1 b) рівносильно існує c: (b R c) ^ (c R−1 a) рівносильно b (R о R−1 ) a

  • (R−1)-1 = R
  • (R о S) о T = R о (S о T)
  • (R о S)−1 = (S −1) о (R −1)
  • (R U S)−1 = (R−1) U (S−1)
  • (R U S) −1 = (R−1) U (S−1)

Слід зазначити, що операція композиції відношень може бути і невизначеною, якщо в множині B для заданих елементів а із A та c із C не існує відповідного елемента b. Але якщо А = В = С, то ця операція завжди визначена.

Нехай R – відношення на множині A. Ступенем відношення R на множині A є його композиція із самим собою. Позначається: Rn = R◦…(n разів)… ◦R. Відповідно, R0 = I, R1 = R, R2 = R◦R і взагалі Rn = Rn-1◦R. Якщо R, R1, R2бінарні відношення, задані на множині A, то:

  • (R1∪R2) ◦R = R1◦R ∪ R2◦R; R1⊆R2 ⇒ R1◦R ⊆ R2◦R.
  • (R−1)−1 = R; R⊆R1 ⇒ R−1⊆R1−1.
  • (R1◦R2)−1 = (R2−1) ◦ (R1−1).
  • (R1∩R2)−1 = (R1−1) ∩ (R2−1).
  • (R◦R1) ◦ R2 = R ◦ (R1◦R2).

Доведення. а) Якщо (a, b)∈(R1∪R2) ◦ R, то існує елемент c∈A такий, що (a, с)∈R1∪R2 і с, b)∈R. Значить, (a, с)∈R1 або (a, с)∈R2 і (с, b)∈R. Звідси маємо, що (a, b)∈R1◦R або a, b)∈R2◦R, тобто (a, b)∈R1◦R ∪ R2◦R. Обернене включення доводиться аналогічно.

Друга частина твердження випливає з того, що коли R1⊆R2, то R1∪R2 = R2, звідки маємо(в силу вище доведеного), що (R1∪R2) ◦R = R1◦R ∪ R2◦R = R2◦R, тобто R1◦R ⊆ R2◦R. б) (a, b)∈R−1 ⇔ (b, a)∈(R−1)−1 ⇔ (b, a)∈R. Звідки випливає, що (R−1)−1 = R. Для доведення другої частини зауважимо, що (a, b)∈R ⇔ (b, a)∈R−1, (a, b)∈R ⇒(a, b)∈R1 ⇒ (b, a)∈R−1 ⇒ (b, ∈R1−1, тобто R−1⊆R1−1. в) (a, b)∈(R1◦R2)−1 ⇔ (b, a)∈(R1◦R2) ⇒ (∃c∈A | (b, c)∈R1 і (c, )∈R2). Але тоді (c, b)∈R1−1 і(a, c)∈R2−1 ⇒ (a, b)∈(R2−1◦R1−1), тобто R1◦R2)−1⊆ (R2−1) ◦ (R1−1). Обернене включення доводиться аналогічно. г) (a, b)∈(R1∩R2)−1 ⇔(b, a)∈R1∩R2 ⇔ (b, a)∈R1 і (b, a)∈R2 ⇔ (a,b)∈R1−1 і (a, b)∈R2−1, тобто (R1∩R2)−1 = (R1−1)∩(R2−1). д) Нехай (a, d)∈(R◦R1) ◦ R2, тоді існує c∈A такий, що (a, c)∈R◦R1 і (c, d)∈R2. Отже існує такий b, що (a, b)∈R, (b, c)∈R1 і (c, d)∈R2, а це означає, що (b, d)∈R1◦R2 і a,d)∈R◦(R1◦R2), тобто(R◦R1)◦R2 ⊆ R◦(R1◦R2). Обернене включення доводиться аналогічно.

Див. також

Відношення Теорія множин

Read other articles:

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Desember 2022. Artikel ini berisi konten yang ditulis dengan gaya sebuah iklan. Bantulah memperbaiki artikel ini dengan menghapus konten yang dianggap sebagai spam dan pranala luar yang tidak sesuai, dan tambahkan konten ensiklopedis yang ditulis dari sudut pandang ...

 

Halaman ini berisi artikel tentang regulasi dan perjanjian dagang. Untuk senyawa kimia yang disingkat TTIP, lihat Titanium isopropoksida. Amerika Serikat (jingga) dan Uni Eropa (hijau) Kemitraan Perdagangan dan Investasi Transatlantik (Inggris: Transatlantic Trade and Investment Partnershipcode: en is deprecated ; TTIP) adalah rencana perjanjian perdagangan antara Uni Eropa dan Amerika Serikat yang bertujuan memajukan perdagangan dan pertumbuhan ekonomi antarnegara. Pemerintah Amerika Serikat...

 

Badan Pengatur Hilir Minyak dan Gas Bumi BPH MigasGambaran umumSingkatanBPH MigasDasar hukum pendirianPeraturan Pemerintah No 67 Tahun 2002Peraturan Pemerintah No. 49 Tahun 2012Keputusan Presiden No. 86 Tahun 2002Peraturan Presiden No. 45 Tahun 2012SifatIndependen dan langsung di bawah koordinasi PresidenStrukturKepalaErika Retnowati, A.K., M.Si.Kantor pusatJl. Kapten P. Tendean No. 28 Jakarta SelatanSitus webhttp://www.bphmigas.go.id/Sunting kotak info • L • BBantuan pengg...

John Thomson, foto bersama dengan Para Prajurit Henan, 1871. sekitar 1864. John Thomson (14 Juni 1837 – 29 September 1921) adalah seorang pelopor fotografer, geografer dan penjelajah Skotlandia. Ia adalah salah satu fotografer pertama yang menjelajahi Timur Jauh, mendokumentasikan masyarakat, landskap dan artefak budaya-budaya ketimuran. Terbitan pilihan China Through the Lens of John Thomson 1868 -1872, River Books 2010. The antiquities of Cambodia, 1867 Views on the North River, 1870. Foo...

 

خالد الجامعي معلومات شخصية الميلاد سنة 1944  الدار البيضاء  الوفاة 1 يونيو 2021 (76–77 سنة)[1]  الدار البيضاء  مواطنة المغرب  الأولاد أبو بكر الجامعي  الحياة العملية المهنة صحفي،  ومحلل سياسي،  وكاتب  اللغة الأم العربية  اللغات العربية،  والفرنسي...

 

هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (مارس 2018)   لمعانٍ أخرى، طالع مقاطعة كامبيل (توضيح). مقاطعة كامبيل    علم   الإح...

Maggie GraceLahirMargareth Grace DenigTahun aktif2001 – Sampai Sekarang Margareth Grace Denig atau lebih dikenal dengan nama Maggie Grace (lahir 21 September 1983) merupakan seorang aktris berkebangsaan Amerika. Pertama kali muncul lewat Rachel’ Room (2001), ia kemudian mencuri perhatian lewat Murder in Greenwich (2002). Maggie Grace kemudian menjadi populer setelah tampil di miniseri produksi ABC berjudul Lost yang disiarkan dari tahun 2004 hingga 2010. Filmografi Rachel's Room (20...

 

Sunidhi ChauhanChauhan di peluncuran The Voice India pada 2015LahirNidhi Chauhan14 Agustus 1983 (umur 40)New Delhi, IndiaTempat tinggalMumbai, Maharashtra, IndiaKebangsaanIndiaPekerjaanPenyanyiTahun aktif1996–sekarangKota asalDelhi, IndiaSuami/istri Bobby Khan ​ ​(m. 2002; bercerai 2003)​ Hitesh Sonik ​(m. 2012)​ Karier musikGenre Pop Filmi InstrumenVokalLabel Universal Times Music Sony Music Sarega...

 

War memorial in London You can help expand this article with text translated from the corresponding article in Chinese. (December 2022) Click [show] for important translation instructions. Machine translation, like DeepL or Google Translate, is a useful starting point for translations, but translators must revise errors as necessary and confirm that the translation is accurate, rather than simply copy-pasting machine-translated text into the English Wikipedia. Do not translate text that ...

この項目には、一部のコンピュータや閲覧ソフトで表示できない文字が含まれています(詳細)。 数字の大字(だいじ)は、漢数字の一種。通常用いる単純な字形の漢数字(小字)の代わりに同じ音の別の漢字を用いるものである。 概要 壱万円日本銀行券(「壱」が大字) 弐千円日本銀行券(「弐」が大字) 漢数字には「一」「二」「三」と続く小字と、「壱」「�...

 

Северный морской котик Самец Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:Синапси...

 

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: The Flintstones' New Neighbors – news · newspapers · books · scholar · JSTOR (August 2020) (Learn how and w...

This article is about the Angolan town. For the singer, see Humbe (singer). Commune and town in Cunene, AngolaHumbecommune and townHumbeLocation in AngolaCoordinates: 16°41′05″S 14°54′08″E / 16.68472°S 14.90222°E / -16.68472; 14.90222Country AngolaProvinceCuneneMunicipalityOmbadjaElevation1,110 m (3,640 ft)Time zoneUTC+1 (WAT)ClimateBSh Road to Humbe (EN-105) Humbe is a town and commune in the municipality of Ombadja, province of Cunene, Ango...

 

 烏克蘭總理Прем'єр-міністр України烏克蘭國徽現任杰尼斯·什米加尔自2020年3月4日任命者烏克蘭總統任期總統任命首任維托爾德·福金设立1991年11月后继职位無网站www.kmu.gov.ua/control/en/(英文) 乌克兰 乌克兰政府与政治系列条目 宪法 政府 总统 弗拉基米尔·泽连斯基 總統辦公室 国家安全与国防事务委员会 总统代表(英语:Representatives of the President of Ukraine) 总...

 

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada November 2020. Alat Peraga Montessori Alat peraga Montessori adalah alat peraga yang digunakan dalam pendidikan Montessori hasil rancangan seorang dokter dari Italia bernama Maria Montessori.[1] Pendidikan Montessori muncul melalui sebuah sekolah bagi anak-a...

American football player and coach (born 1965) American football player Pat ShurmurShurmur with the Giants in 2018Colorado BuffaloesPosition:Offensive coordinatorPersonal informationBorn: (1965-04-14) April 14, 1965 (age 59)Dearborn, Michigan, U.S.Career informationHigh school:Divine Child (Dearborn, Michigan)College:Michigan State (1983–1987)Undrafted:1988Career history As a coach: Michigan State (1988–1989)Graduate assistant Michigan State (1990–1997)Tight ends, offensive line &a...

 

Online black market and discussion forum Tor Carding ForumType of siteInternet forumAvailable inEnglishCurrent statusUnknown The Tor Carding Forum (TCF) was a Tor-based forum specializing in the trade of stolen credit card details, identity theft and currency counterfeiting. The site was founded by an individual known as 'Verto' who also founded the now defunct Evolution darknet market.[1] The site required $50 for registration.[2][3] A 2013 investigation int...

 

Stroh CenterThe NestExterior view in 2011Location1535 East Wooster StreetBowling Green, Ohio, 43402United StatesCoordinates41°22′31″N 83°37′29″W / 41.375343°N 83.624711°W / 41.375343; -83.624711OwnerBowling Green State UniversityOperatorGlobal SpectrumCapacity4,387 (Basketball)5,209 (Convocation)SurfaceMulti-surfaceConstructionBroke groundSeptember 3, 2009OpenedSeptember 9, 2011Construction cost$30 million($40.6 million in 2023 dollars[1])Archi...

Neuzeitliche Statue Kai Kobads I. in Alanya Ala ad-Din Kai Kobad I. (persisch علاء الدين كيقباد, DMG ʿAlāʾ ad-Dīn Kai-Qubād, neutürkisch Alaeddin Keykubad; † 1237) war von 1220 bis zu seinem Tod Sultan der Rum-Seldschuken. Er folgte seinem Bruder Kai Kaus I. nach. Unter ihm wurde das Sultanat zum mächtigsten Reich der Region. Inhaltsverzeichnis 1 Familie und Jugend 2 Feldzug nach Kilikien 3 Andere Eroberungen 4 Bauten 5 Literatur 6 Internet Familie und Jugend Kai K...

 

Cincinnati Open 2011Singolare maschileSport Tennis Vincitore Andy Murray Finalista Novak Đoković Punteggio6-4, 3-0, rit. Tornei Singolare uomini (q) donne (q)   Doppio uomini donne 2010 2012 Voce principale: Cincinnati Open 2011. Il singolare maschile del Cincinnati Open 2011 è stato un torneo di tennis facente parte dell'ATP World Tour 2011. Il detentore del titolo era Roger Federer ma è stato sconfitto nei quarti di finale da Tomáš Berdych. Andy Murray ha vinto il torneo battendo...