Notifiche
Cancella tutti

[Risolto] ESERCIZIO SU RELAZIONE D'ORDINE

  

1

Sia $\mathcal{P}(\mathrm{Z})$ l'insieme potenza dell'insieme dei numeri intere $\mathrm{Z}$. Si consideri la seguente relazione $R \subset \mathcal{P}(\mathrm{Z}) \times \mathcal{P}(\mathrm{Z})$ :
$$
(A, B) \in R \quad \Leftrightarrow \quad \text { esiste una applicazione iniettiva } f: A \rightarrow B .
$$

Esibire (se esiste) un $B \in \mathcal{P}(\mathrm{Z})$ tale che $(B, \varnothing) \in R$. Determinare se $R$ è una relazione d'ordine e se l'ordine è totale.

image

Su questo esercizio, ho ancora più dubbi del procedente, come si ragiona? Grazie

Autore
1 Risposta



2

Infatti interpretare la traccia non é semplicissimo.

A rigore un insieme che si può associare al vuoto dovrebbe essere qualsiasi sottoinsieme di

Z. Infatti un'applicazione non é iniettiva quando esiste almeno un elemento di B che ha almeno

due controimmagini distinte. Pertanto l'applicazione vuota che non associa niente a nessun elemento

"dovrebbe" essere iniettiva per impossibilità di non esserlo  : nell'insieme di arrivo non c'é niente.

Non so se sei d'accordo.

@eidosm qua dice che basta trovarne uno, quindi potrebbe andare bene anche prendere come B l'insieme vuoto stesso? Per quanto riguarda l'altro punto la relazione non penso che sia d'ordine poichè non vale la proprietà antisimmetrica, infatti se prendo ad esempio l'insieme A={1,2} e l'insieme B = {3, 4} ARB e BRA ma A e B sono diversi.

@eidosm è giusto il mio ragionamento?

Potremmo scegliere qualsiasi sottoinsieme di Z, ma l'anomalia é che poi l'applicazione dovrebbe necessariamente essere quella "vuota" che non associa niente a nessuno.

@eidosm il fatto che non sia una relazione d'ordine perchè non vale la proprietà antisimmetrica è corretto?



Risposta
SOS Matematica

4.6
SCARICA