Calcolatore spazio colonne

Un calcolatore di spazio colonne risponde a una classica domanda di algebra lineare: quali vettori generano lo spazio delle colonne di una matrice reale? Inserisca la matrice come righe numeriche annidate o come testo semplice con virgole e a capo; lo strumento esegue l'eliminazione gaussiana con pivoting parziale su una copia di lavoro, individua le colonne pivot con un epsilon fisso e restituisce le colonne corrispondenti della matrice ORIGINALE come base: poiché le operazioni elementari sulle righe preservano le dipendenze lineari tra colonne, le colonne pivot della forma ridotta individuano le colonne indipendenti dell'input. La risposta include i vettori della base, la dimensione (che coincide con il rango), gli indici delle colonne pivot con base zero, la matrice originale arrotondata, la forma a scala per righe e i passaggi di eliminazione ordinati.

Che cos'è lo spazio delle colonne e perché le colonne pivot danno una base

Lo spazio delle colonne di una matrice reale m×n A — scritto Col A — è l'insieme di tutte le combinazioni lineari delle sue colonne, cioè esattamente l'insieme dei vettori b per cui Ax = b ammette soluzione. La sua dimensione è il rango di A, e una base è un insieme minimale di colonne che genera ancora l'intero spazio.

Il teorema standard qui utilizzato afferma che le operazioni elementari sulle righe preservano le relazioni lineari tra le colonne: se la terza colonna della forma a scala è il doppio della prima, anche la terza colonna della matrice originale è il doppio della prima. Di conseguenza le colonne di A nelle posizioni pivot della forma a scala sono linearmente indipendenti, ogni altra colonna è loro combinazione, e insieme formano una base di Col A.

Attenzione al punto sottile che molti studenti trascurano: i vettori della base provengono dalla matrice ORIGINALE, non da quella ridotta — le colonne pivot della forma a scala in genere generano un sottospazio diverso di R^m, anche se i due spazi condividono la stessa dimensione. I valori il cui modulo scende al di sotto di un epsilon fisso dopo l'eliminazione sono trattati come zeri esatti, così la cancellazione in virgola mobile su colonne quasi dipendenti non inventa pivot fantasma che gonfierebbero la dimensione riportata.

L'output elenca in ordine ogni scambio e passaggio di eliminazione, così può verificare a mano il percorso dell'algoritmo o in una suite di test senza rifare da soli i calcoli.

Consigli pratici, limiti e ricerche correlate

Mantenga ogni valore entro l'intervallo assoluto pubblicato e preferisca inviare array di numeri annidati quando controlla il client; il formato testo è comodo per incollare da fogli di calcolo, ma viene comunque analizzato con le stesse regole numeriche. Un classico esempio svolto è la matrice tre per tre con righe [1,2,3], [2,4,6], [1,0,1]: la seconda colonna è il doppio della prima e lo spazio delle righe collassa, l'eliminazione trova pivot solo nelle colonne zero e uno, e la base è formata dalle prime due colonne originali con dimensione due.

La matrice nulla è il caso limite da ricordare nei test: non ha pivot, lo spazio delle colonne è il solo vettore nullo, e questo strumento restituisce una base vuota con dimensione zero e un messaggio esplicativo anziché un errore. Quando le colonne sono quasi ma non esattamente dipendenti — situazione comune nei dati dei sensori e nelle matrici di progetto dei minimi quadrati — decide l'epsilon fisso, quindi si aspetti che le colonne borderline vengano scartate come combinazioni delle precedenti anziché riportate come una base di rango pieno fragile.

Questa pagina si rivolge a chi cerca un calcolatore di spazio colonne, una base dello spazio colonne online o basi da colonne pivot; non è uno strumento SVD, non è un ortonormalizzatore (la base è un sottoinsieme delle colonne originali, non un output di Gram-Schmidt) e non è un risolutore di spazio nullo — lo abbini a una capability di rango o spazio nullo se ne ha bisogno.

Le verifiche di andata e ritorno sono semplici: moltiplichi la base per i coefficienti di dipendenza letti dalla forma a scala e confermi che ogni colonna scartata sia riprodotta esattamente dopo l'arrotondamento, e verifichi che lo scambio di due colonne di input modifichi l'insieme dei pivot in modo prevedibile.