Topologia, zadanie nr 3575
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
wojania post贸w: 3 |  2015-08-17 17:12:41Hej potrzebuj臋 jakiego艣 dowodu dotycz膮cego mereologii na 1) Definicja 3.1 (Bycie ingrediensem ⊑) (∀x,y ∈M)(x ⊑y ⇔x⊏y ∨x=y). 2) Definicja 3.2(Funkcje pomocnicze P i I) Funkcje P: M→P(M) i I:M→P_+ (M)definiujemy nast臋puj膮co P(x)={y∈M∶y⊏x}, I(x)={y∈M∶y⊑x}. Funkcja P ka偶demu x ∈ M przyporz膮dkowuje cz臋艣ci x-a, funkcja I za艣 ingrediensy. Nast臋puj膮ce w艂asno艣ci zachodz膮 dla dowolnych x,y∈M: a) x∉ P(x) <--- dow贸d b)I(x)=P(x)∪{x} <--- dow贸d :(  B臋d臋 bardzo wdzi臋czna za pomoc :)  |
janusz78 post贸w: 820 | 2015-08-18 15:42:17 Nieczytelny zapis posta. Prawdopodobnie chodzi艂o o dowody nast臋puj膮cych dw贸ch w艂asno艣ci funkcji pomocniczych $ I,\ \ P$ $1. I(x) =P(x)\cup \{x\}$ $2. x\notin P(x).$ Z definicji funkcji $P,\ \ I$ i relacji bycia ingrediensem dla dowolnych $x, \ \ y\in M$ otrzymujemy: 1. $I(x)= \{ y\in M : y \sqsubseteq x \}= \{y:\in M: y \sqsubset x \vee x=y \} = P(x)\cup \{x\}.$ 2. (nie wprost): Za艂贸偶my, 偶e $ (x\in P(x))\leftrightarrow (\exists_{y\in M}: y\sqsubset x)\leftrightarrow (\exists_{y\in M }:y \sqsubseteq x \wedge y\neq x)\leftrightarrow (x\in (I(x)-\{x\}))\leftrightarrow (x\notin P(x)).$ Sprzeczno艣膰 c.b.d.o. Wiadomo艣膰 by艂a modyfikowana 2015-08-18 16:16:39 przez janusz78 |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj