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
Ciao alla sezione.
scrivo qui perché c'è un fatto che mi lascia perplesso e per cui non trovo una ragione del perché funzioni.
Posso dimostrare che il sottospazio delle matrici simmetriche (S) e antisimmetriche (A) sono in somma diretta (quindi posso scrivere ogni matrice M in modo unico come somma di una matrice antisimmetrica e una simmetrica) e in particolare sottospazi supplementari di un $R^(n,n)$
Dimostrare che $S+A=R^(n,n)$ è facile per doppia inclusione:
ogni elemento di ...
Non so moltissimo di logica e teoria degli insiemi! Pertanto vorrei chiedere se qualcuno qui potrebbe spiegarmi/o aggiungere parole/correggermi se sbaglio a quanto segue:
L'"insieme complementare" è un oggetto ben definito nella teoria assiomatica degli insiemi?
Se definiamo l'universo \( U= \{ x : x = x \} \) e l'insieme vuoto \( \emptyset = \{ x : x \neq x \} \) allora abbiamo che \( \emptyset \) è un insieme mentre \(U\) è una classe propria (ovvero è una classe che non è un insieme). A ...
3
Studente Anonimo
16 ago 2023, 15:03
Buongiorno, volevo porre due domande sulla disuguaglianza di cauchy schwarz.
Il punto su cui nutro dubbi è il seguente: nel testo che ho dice che l'uguaglianza della $|x*y|<=||x||*||y||$ si ha $<=>$ ($x=0$ or $y=0$ or $x=ay$ (cioè proporzionali con a reale)).
Ora il testo procede così:
(domanda1) prende $x=0$ e dice $0<=0$, discorso analogo per $y=0$ e quindi per questi due l'uguaglianza è verificata, perciò questo ...
Buongiorno, e perdonatemi se la domanda è sciocca, ma sono decenni che non studio l'Algebra con la A maiuscola.
Il piccolo teorema di Fermat dice che se $p$ è un numero primo, allora per ogni intero $a$:
\[
a^p \equiv a \mod{p}
\]
Su Wiki trovo scritto che una "piccola generalizzazione del teorema, che deriva immediatamente da questo", è la seguente: se $p$ è primo e $m$ e $n$ sono interi positivi con
\[
m \equiv n ...
Nell'insieme Z degli interi, la relazione di uguaglianza è simmetrica?
Io dico di sì, guardando la definizione di relazione simmetrica:
per qualsiasi coppia di elementi (a,b) scelta nell'insieme Z : aRb ==> bRa
Se scelgo a=b allora l'implicazione è vera : V ==> V
Se a =/= b allora l'implicazione è ancora vera , in quanto
F ==> F è Vera
E' corretto il ragionamento ?
Cioè io considero tutte le possibili coppie di elementi dell'insieme Z, non sono quelle che soddisfano la relazione.
Grazie
Sia $Q$ campo dei razionali e $p(x)$ un polinomio irriducibile di grado $n$ supponiamo che le uniche relazioni tra radici a valori in $Q$ siano le funzioni simmetriche , cosa si può dire del gruppo di Galois?
Per semplificare la domanda ho già applicato l'algoritmo di una formula proposizionale.
Sono arrivato al seguente insieme di clausole:
{ {not (b), not (d)} , {not (e)} }
Quali sono i passi successivi?
Ottengo alla fine {} o {[]} ? Ovvero soddisfacibile o non soddisfacibile ?
Grazie mille!
Sia $Q$ campo dei razionali e sia $p(x)$ un polinomio di grado $n$ ivi irriducibile,siano ${x_1,x_2,...,x_n}$ le radici distinte di tale polinomio , se il più piccolo numero di radici da aggiungere al campo base $Q$ , necessario per raggiungere il campo di spezzamento $E$ è $(n-1)$ allora $[E]=n!$??
Sia p un numero primo dispari. Individuare almeno una successione a(n) tale che i divisori primi di ogni suo termine siano maggiori di p e della forma 2kp + 1.
Per quali numeri primi n > 2 l'equazione diofantea
(Xⁿ - Yⁿ)/(X - Y) = Zⁿ
possiede soluzioni non banali? Esistono soluzioni primitive?
Sto incontrando difficoltà nel dimostrare il seguente teorema.
Sia n un numero intero somma di due quadrati. Dimostra che ogni suo divisore è somma di due quadrati.
Buongiorno, sto cercando di risolvere un problema su un'estensione finita di un campo finito, e mi trovo in difficoltà.
Il problema è questo:
Per quali numeri primi n > 2 l'equazione diofantea
(Xⁿ - Yⁿ)/(X - Y) = Zⁿ
possiede soluzioni non banali?
Se esistono soluzioni primitive, quali sono?
Determinare le soluzioni razionali dell'equazione
7x³+18x²y-6xy²+9y³-1 = 0.
Sono riuscito a determinarne 2, portando 1 al secondo membro, e fattorizzando il resto del polinomio. Sono (2/5;1/5) e (-1/5;2/5); ho ipotizzato che ciascun fattore valesse 1 ma un fattore potrebbe essere della forma r/s e l'altro della forma s/r con M.C.D.(r,s)=1. In questo caso non riesco ad andare avanti.
Se $X$ è un insieme infinito e $Y$ è un insieme finito, allora si provi che $X$ e $XuuY$ hanno la stessa cardinalità.
Allora consideriamo l'inclusione $i:X->XuuY$ che è iniettiva per cui $abs(X)<=abs(XuuY)$, ora siccome $Y$ è finito e $X$ è infinito si ha $abs(X)>=abs(Y)$, per cui esiste una funzione suriettiva $f_1:X->Y$ e poniamo $f_0=Id:X->X$, inoltre si ha anche che $abs(X)>=2=abs({0,1})$ per cui ...
Mi chiedevo se fosse possibile costruire sempre una funzione iniettiva da $NN$ a un insieme $X$ infinito, e mi sono risposto così:
si può fare, basta definire la funzione in modo che $0$ lo mandiamo in un elemento qualsiasi di $X$, poi $1$ lo mandiamo in un elemento di $X$ diverso da quello scelto per $0$, poi $2$ lo mandiamo in un elemento di $X$ diverso da quello ...
Sia $X$ un insieme e sia $P(X)$ l’insieme delle parti di $X$, cioè l’insieme i cui elementi sono tutti e soli i sottoinsiemi di $X$. Se $f:X->P(X)$ è una funzione, allora si provi che $f$ non è suriettiva.
Per dimostrarlo ho pensato di fare così:
Consideriamo l'insieme $S={x inX|xnotinf(x)}inP(X)$, supponiamo per assurdo che $Ssubef(X)$, quindi $EEx inX$ tale che $f(x)=S$. Ora se $x inS$ si avrebbe ...
Ho difficoltà nella risoluzione dell'equazione diofantea
x⁴ - 2x²y - 340y² + x² - y+1=0
Sono riuscito a dimostrare che y deve essere dispari.
Grazie per l'aiuto.
Sia $Q$ campo dei razionali, $p(x)$ un polinomio di grado $n$, ivi irriducibile, ${x_1,x_2,....,x_n}$ le radici distinte, comunque presa una qualsiasi radice $x_i$, l'estensione $Q(x_i)$ o contiene solamente la radice $x_i$ oppure conterra tutte le radici, mi sbaglio?
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo