[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 69 KB, 300x283, 1194934.jpg [View same] [iqdb] [saucenao] [google]
7076927 No.7076927 [Reply] [Original]

A VECTOR SPACE IS...

>> No.7076931

A collection of vectors that have multiplication and addition properties defined such that it constitutes a vector space?

>> No.7076964

>>7076931
Don't forget that it also must be closed under scalar multiplication and vector addition.

>> No.7076982

>>7076927
a module over a field.

>> No.7076983

A set closed under linear combinations.

>> No.7077024

>>7076927
A triplet (V,+,*) s.t. (V,+) is an abelian group and.... etc.

>> No.7077030

>>7076982
winrar

>> No.7077035

>>7076927
An object in Vect_k, for some field k!!
(This was meant to be humorous, but seriously guys, there is an nLab page where they define a super vector spaces as objects in the category of super vector spaces over a field k... I mean, FUCK.)

>> No.7077060

<span class="math">(\mathbb{V};+;\cdot)[/spoiler] with <span class="math">(\mathbb{V};+)[/spoiler] an abelian group, <span class="math">\cdot: \mathbb{K}\times\mathbb{V} \rightarrow \mathbb{V}[/spoiler] distributive over <span class="math">+[/spoiler], associative and <span class="math">\forall \mathbf{x} \in \mathbb{V}, 1\cdot \mathbf{x} = \mathbf{x}[/spoiler].

>> No.7077082 [DELETED] 

>>7076982
>mfw seminar starts with equating certain modules with matrix algebras over division rings and then broadly discusses theorems about their endomorphism rings over themselves and I don't understand half of it

>> No.7077083
File: 23 KB, 500x291, graduatestudentlife.jpg [View same] [iqdb] [saucenao] [google]
7077083

>>7076982
>mfw seminar starts with equating certain modules with matrix algebras over division rings and then discusses theorems about their endomorphism rings and I don't understand half of it

>> No.7077096

>>7077083
What parts aren't you following?

>> No.7077104

>>7077096
I caught up. The lecturer referred me to a book on representation theory and now I can follow along okay.

>> No.7077114

>>7077104
Oh, that's good. Representation theory is awesome, enjoy the ride.

>> No.7077135 [DELETED] 

A point in <span class="math">\mathbb{\bold{R}}^{n}[/spoiler] is frequently also called a vector in <span class="math">\mathbb{\bold{R}}^{n}[/spoiler], because <span class="math">\mathbb{\bold{R}}^{n}[/spoiler], which <span class="math">x+y=(x^1+y^1,...,x^n+y^n)[/spoiler] and <span class="math">ax=(ax^1,...,ax^w)[/spoiler], as operations, is a vector space (over the real numbers, of dimension n).

>> No.7077142

>>7077114
+1, one of major pillars of modern mathematics imo.

>> No.7077148

A point in <span class="math">\mathbb{\boldsymbol{R}^{n}}[/spoiler] is frequently also called a vector in <span class="math">\mathbb{\boldsymbol{R}^{n}}[/spoiler], because <span class="math">\mathbb{\boldsymbol{R}^{n}}, which <span class="math">x+y=(x^1+y^1,...x^n+y^n)[/spoiler] and <span class="math">ax=(ax^1,...,ax^n)[/spoiler], as operations, is a vector space (over the real numbers, of dimension n).[/spoiler]

>> No.7077163

>>7077142
Amen, I agree.

>> No.7077230

the span of all linear combinations of a linearly independent set of vectors.

>> No.7077478
File: 61 KB, 405x720, Ultimate_neckbeard.jpg [View same] [iqdb] [saucenao] [google]
7077478

>>7076927
the place where vectors live?

>> No.7077753

>>7076927
An abelian group V and a field F with a function VxF->V that satisfies some distributive laws.

Alternatively, a module where the associated ring is a field.