Algebra, logica, teoria dei numeri e matematica discreta
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.
Domande e risposte
Ordina per
In evidenza
Salve,
Devo dimostrare usando la proprietà universale dell'anello dei polinomi che $A[X]~=A[Y]$, ma mi è venuto un dubbio sul significato di $A[Y]$ con Y indeterminata diversa da X.
Se definiamo l'anello dei polinomi come l'insieme delle successioni definitivamente nulle a valori nell'anello A e $X= (0,1,0,.....)$, qual è il significato di $A[Y]$ con Y indeterminata diversa da X?
Non può essere che anche $Y= (0,1,0,.....)$ altrimenti si avrebbe banalmente che ...
Buonasera, ho il seguente dubbio, che per molti di voi sarà sicuramente banale, ed è il seguente:
Considero l’insieme dei numeri naturali $NN$ senza lo zero, inoltre considero $a,b,c$ naturali per cui $a+b=c$, allora $a=c-b$.
Mi è chiara la tesi, ma se volessi dimostrarla in modo formale non so come fare, tuttavia la dimostrerei così
$a+b=c->a+b-b=c-b->a+(b-b)=c-b->a+0=c-b->a=c-b$
Supponendo che fosse corretto il ragionamento, mi chiedo $a+0$ lo posso valutare dal ...
Buongiorno, non mi ricordo come si determinano le classi di equivalenza.
Considero il seguente esercizio:
Insieme dei numeri naturali senza lo zero $NN$, e pongo $xRy <=> x+p \in NN_p$, e voglio determinare le classi di equivalenza rispetto alla relazione $R$ in $NN$.
Per determinare le classi di equivalenze procedo in questo modo:
Passo 1: Fisso elemento $x$ in $NN$
Passo 2: Esplicito la classe di equivalenza di ...
Ciao, mi stavo trovando a ragionare su una cosa sulla quale non avevo mai posto troppissima attenzione non avendo mai fatto algebra, ma che trovo utile capire in modo più razionale.
Io so che la composizione di funzioni è:
$f∘g={(a,c) in AxxC| ∃b in B, g(a)=b ∧ f(b)=c}={(a,c) in AxxC|f(g(a))=c}$[nota](non sto a specificare gli insiemi per non allungare il messaggio ma è chiaro)[/nota]
Quindi per definizione si ha che $(f∘g)(a)=f(g(a))$, cioè che per avere la "funzione composta" prima opero con g sul punto a e poi sull'immagine tramite f per ogni ...
Salve,
mi iscrivo perché ho trovato su questo forum la spiegazione che cercavo a una domanda fatta dal mio Prof di Algebra I a un candidato all'esame e dato che è un procedimento dimostrativo che uso ormai quotidianamente mi sono messo a pensarci. Online non ho trovato molto ma ho trovato una discussione dove cito:
"https://www.matematicamente.it/forum/viewtopic.php?f=36&t=213766&start=10#p8499718":Immagina di avere un certo numero di ipotesi, chiamiamole $H_1,H_2,..., H_n$ (tutte ...
Ho due gruppi ciclici \(C_m\) e \(C_n\) di ordine \(m\) e \(n\) rispertivamente, di cui si danno i generatori \(a\) e \(b\) rispettivamente. Voglio cercare di avere un'idea sui prodotti semidiretti \(C_n \rtimes_\theta C_m\) con \(\theta : C_m \to \operatorname{Aut}(C_n)\) omomorfismo. La presentazione che inizia con le informazioni sugli ordini degli elementi, \(a^m = 1\) e \(b^n = 1\).
Gli elementi di \(\operatorname{Aut}(C_n)\) sono esattamente della forma \(\lambda g . g^k\) per \(k < n\) e ...
Sono molto ignorante in logica e oggi stavo ragionando su una cosa che mi ha incasinato, fino ad ora.
E così non riesco a dormire perché non riesco a capire se vale questa implicazione
$(forally,P(y) => forall x, Q(x))=>(forallz,(P(z)=>Q(z)))$
da una parte mi viene da dire "sì", perché per dimosrarlo dovrei prendere un certo z e ho per ipotsi P(z), però se prendo un qualunque z dall'antecedente so che per qualunque y (tra cui z) P(y=z) implica che per qualunque x (tra cui z) Q(x=z).
però dall'altra sono in dubbio perché in ...
Inizialmente l'avevo posta sotto la domanda di un altro utente, ma essendo una discussione lunga ho visto che non ha attratto grande interesse quindi provo a scorporarla.
Vorrei chiedere una curiosità riguardo quello che ho letto nella pagina su una proposizione.
ovviamente $forallx.(P(x)=>∃y.Q(y))$ è diverso da $∃y.(Q(y), forallx.P(x))$ in generale.
Però se mi metto in un universo in cui esiste una e una sola y che soddisfa alla $Q(y)$ è corretto dire che le due affermazioni sono uguali?
Faccio ...
Ho una domanda sciocca ma che non so rendere formalmente vera.
Mi sembra che intuitivamente sia vero che se ho una f funzione iniettiva, allora se so che per ogni elemento del codominio B ne esiste uno x del dominio A t.c $f(x) in B$ allora (data l'iniettività) è anche suriettiva.
il fatto è che
la suriettività dice per ogni y esiste x t.c f(x)=y
io invece ho per ogni y esiste x t.c $f(x) in B$ che unito alll'iniettività mi sembra fuzionare.
EDIT:
In realtà la mia idea mi accorgo ...
Ciao, vorrei dimostrare una cosa che mi sembra vera intuitivamente.
Mettiamo di avere $U'⊆U, V'⊆U$
Allora vorrei dimsotrare che $U∩V=∅=>U'∩V'=∅$
io ho pensato di notare che per contronominale $x in U'∩V'$ vuol dire per and e ipotesi $x in U'=>x in U$ & $x in V' x in V$, che vuol dire $x in U∩V$.
A questo punto ho $x in U'∩V' => x in U∩V$ quindi per contronominale: $x !in U∩V => x !in U'∩V'$ (*)
ma csa vuol dire per ogni $x !in U∩V$, vuol die che $U∩V=∅$ e identicamente ...
Un saluto a tutto il forum. Ho una domanda stupida (visto che non sono uno specialista di logica). L'assioma:
Se due punti stanno sulla stessa retta e giacciono entrambi sullo stesso piano allora tutti i punti della retta giacciono su quel piano
si può tradurre con la seguente dicitura?
$$\forall A,B(A\neq B \land \mathcal{G}(A,r) \land \mathcal{G}(B,r)\land \mathcal{G'}(A,\alpha) \land \mathcal{G'}(B,\alpha)\to (\forall P ...
Salve a tutti, sto preparando l'esame di Algebra.
Purtroppo non ho potuto seguire le ultime lezioni (la parte sul campo di spezzamento di un polinomio) e quindi ho recuperato da solo, ma ho difficoltà nel risolvere gli esercizi.
Per esempio:
Sia \(f= x^6-64 \in \mathbb{Q}[x] \), sia \(F\) il suo campo di spezzamento su \( \mathbb{Q}\).
Mi si chiede di determinare una base di \(F\) su \(\mathbb{Q}\) e
dire se \(F\) è il campo di spezzamento di \(x^2+1\) su \(\mathbb{Q}\).
In questi casi ...
Ciao
Io ho A e B insiemi e un insieme fatto da elementi che non stann in A e B ma nel resto dell'universo.
vorrei dimostrare o confutare
${x|x!inA or x!inB}={x|x in A and x!inB} or {x|xnotinA and x in B}$
ma non capisco come fare, mi pareva vero allora ho pensato di prendere x non in A e mostrare che è non sia in ${x|xnotinA and x in B}$ ma non capisco come fare.
Vorrei chiedervi due cose:
1) inerente all'esercizio su come procedere
2) generalizzando se io ho ${x|x!inA or x!inB}=C$ con C inisieme e voglio mostrare l'uguaglianza dovrei fare la doppia ...
Carissimi,
mi sono imbattuto in un testo molto chiaro che riporta l'affermazione in virgolettato. Francamente stento ad afferrarla:
"la tricotomia implica un ordine ma non è vero il viceversa : se diciamo che a > b quando a è un multiplo di b e consideriamo i numeri 6 e 10, non valgono nessuno dei 3 casi della triconomia".
Francamente, sarà banale, ma non riesco a capire il controesempio.
Qualcuno ha esattamente catturato cosa si voglia dire?
Un grazie a tutti
A.
Salve a tutti.
Esiste una regola oppure un procedimento logico rigoroso da seguire per fattorizzare come prodotto di potenze di polinomi al più di secondo grado il seguente polinomio: $3x^5+x+1$?
Ad esempio, sono riuscito a fattorizzare il polinomio $3x^4+1$ nel seguente modo: $(√3 x^2+√(2√3) x+1)*(√3 x^2-√(2√3) x+1)$; ma ci sono riuscito solo andando ad intuito e seguendo un ragionamento che non riesco a generalizzare e ad applicare a $3x^5+x+1$.
Grazie a chiunque mi voglia aiutare.
Generatore di numeri primi
Inserendo al posto di p un numero primo nella forma 12*x+5
se per m=0 oppure n=0 questa ammette soluzioni intere
allora P è primo
$(p+1)/2+24*m*n+6*m+6*n+1=(2*(3*m+n+1))^2$
,
$24*m*n+6*m+6*n+1=3*(3*P-3)/6+1$
Ho letto la congettura di Beal in cui si afferma che se si ha
$a^x+b^y=c^z$
con $a,b,c,x,y,z$ interi positivi e $x,y,z$ $>2$
allora $M.C.D.(a,b,c)!=1$
potrei avere qualche esempio di $a^2 = b^x + c^y$
con $M.C.D (a,b,c)=1$
$x>2$ , $y>2$
$a,b,c,x,y$ tutti naturali maggiori di 1
sto provando per tentativi ma non riesco... [xdom="Martino"]Ho specificato il titolo.[/xdom]
Ciao,
scusate se disturbo in una sezione sicuramente più preparata della domanda che vorrei porvi, tuttavia sono uno studente al terzo anno di ingengeria fisica e affrontando la MQ c'è una foruma utile che è stata introdotta dal prof ma che non ho capito bene.
Il punto è la mappa esponenziale "exp" che va da $mathfrakg≡T_eG->G$, la quale ci è stata introdotta come la mappa che preso il vettore $X=0$ del piano tangente (che è la mia algebra di Lie) costruisce il campo L-invariante ...
Buongiorno,
sto studiando un libro in preparazione dei test di ingresso e mi sono bloccato su una idea piuttosto semplice che ho intuitivamente chiara ma non so bene come risolverla.
Non è propriamente parte del quiz, tuttavia siccome c'è una infarinatura di logica e operatori mi sono posto un dubbio ma non riesco a risolverlo da solo per quanto banale. Comunque, bando alle ciance:
Vi pongo due domande
Il teorema è in generale la proposizione A => B e dimostrarlo è verificare che ho solo vero ...
vorrei chiedervi un aiuto su un'altro concetto che ho per le mani da tutto il giorno e mi sono bloccato su una cosa che ho notato valida ma non riesco a dimostrare.
dati a,b,p interi
la relazione conguenza modulo dice che si definisce $a$ in relazione con $b$ modulo $p$ esiste $k in z$ tale che $a=b+kp$.
ora data la relazione di congruenza deve valre la rifelssività quindi è chiaro che se voglio ridurre un numero tipo 49 modulo ...
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo