Buongirno,
nello studio dell'algerba lineare mi è nata una curiosità che i corsi universitari non possono fugarmi ahimé, stavo cercando di capire infatti e collocare temporalmente l'evoluzione di questa branca matematica.Mi pare di aver capito che mosse i primi passi attorno la metàdell'ottocento, però noto che lemmi abbastanza semplici trovarono dimostrazione solo nel 1917 (es: Steinitz) e fino a quell'anno volete dirmi che non si sapeva che un insieme libero fosse "interno" a una base e che non "eccedessemai da essa", direi che è abbastanza intuitivo, quindi michiedo: si usava comunque prima anche senza dimostrazione questa "proprietà"?
Questo è un solo esempio ma ve ne son tanti simili che mi chiedo.
Magari qualcuno sa