Verwijderd

Topicstarter
...

[ Voor 98% gewijzigd door Verwijderd op 23-05-2018 15:55 ]


  • Comp_Lex
  • Registratie: Juni 2005
  • Laatst online: 20-12 21:22
Is de deelverzameling een strikte deelverzameling?

Verwijderd

Topicstarter
...

[ Voor 100% gewijzigd door Verwijderd op 23-05-2018 15:56 ]


  • Comp_Lex
  • Registratie: Juni 2005
  • Laatst online: 20-12 21:22
Als de deelverzameling niet strikt is, dan is iedere verzameling toch een deelverzameling van zichzelf? Je kan dus ook {1,2,3,4,5} nemen als A'. Dan is het duidelijk te zien dat a'Ra geldt.

Verwijderd

Topicstarter
...

[ Voor 99% gewijzigd door Verwijderd op 23-05-2018 15:55 ]


  • Soultaker
  • Registratie: September 2000
  • Laatst online: 09:39
Ik denk dat je even moet kijken naar welke definitie van maximum hier geldt. Ik zou zeggen x is een maximum in een verzameling S onder partiële ordening R wanneer yRx voor alle y in S.

Dan is het vrij simpel: als yRx voor alle y in S, dan ook zRx voor alle z in T subset van S (strict of niet) want z in T impliceert z in S.

  • Comp_Lex
  • Registratie: Juni 2005
  • Laatst online: 20-12 21:22
Dat maakt dus niet uit. Wat A en A' uiteindelijk zijn hoef je niet te weten. Het gaat om de deelverzameling zelf. Je hoeft niks te kiezen. Het enige wat dan geldt is dat een verzameling een deelverzameling is van zichzelf.

Verwijderd

Topicstarter
...

[ Voor 100% gewijzigd door Verwijderd op 23-05-2018 15:55 ]


  • Comp_Lex
  • Registratie: Juni 2005
  • Laatst online: 20-12 21:22
Het gaat er om wat je mag kiezen voor A' en niet wat je dan exact kiest. Als A' = A absoluut niet mag, dan geldt a'Ra lang niet altijd.

  • Soultaker
  • Registratie: September 2000
  • Laatst online: 09:39
En als 't wel mag geldt 't wel altijd? Of wat was je punt precies? (Overigens geldt a'Ra juist wél altijd, dat wordt ook in de vraagstelling gegeven.)

Volgens mij moeten jullie die hele discussie over stricte/niet-stricte deelverzamelingen achterwege laten want die is niet relevant voor het gevraagde bewijs, en bovendien had shad0w_crash al aangegeven dat het hier om een algemene deelverzameling ging:
Verwijderd schreef op woensdag 30 december 2009 @ 11:18:
Een deelverzameling (Omgekeerde U met een streepje eronder ;) )
Dus A = A' is een mogelijkheid, maar niet zo interessant. De vraag of a element is van A' is is al interessanter, want zoals shad0w_crash al aangeeft geldt in dat geval a' = a, maar of je dat nodig hebt hangt af van je definitie van maximum.

[ Voor 5% gewijzigd door Soultaker op 30-12-2009 13:22 ]


  • Comp_Lex
  • Registratie: Juni 2005
  • Laatst online: 20-12 21:22
Het maakt niet uit wat je kiest. Als je gewoon twee maximale elementen a' en a kiest en a' <= a, dan geldt a'Ra.

  • robbert
  • Registratie: April 2002
  • Laatst online: 17-12 21:15
Schrijf gewoon duidelijk op wat je weet, dan is het simpel :).

Gegeven
(A, <) waarbij A een verzameling en < ⊆ A x A, ∀x∈A.x < x

(1.) a ∈ A zodat ∀x∈A.x < a
(2.) B ⊆ A, b ∈ B zodat ∀x∈B.x < b

Te bewijzen
b < a

Bewijs
volgt uit (1) gezien b ∈ B ⇒ b ∈ A. □

[ Voor 13% gewijzigd door robbert op 30-12-2009 14:09 ]


  • Comp_Lex
  • Registratie: Juni 2005
  • Laatst online: 20-12 21:22
Mijn excuses voor de oninteressante afdwaling.
Pagina: 1