pu'e'ei
valsi
pu'e'ei
type
experimental cmavo
creator
time entered
Mon Jan 9 09:02:38 2023
English
Definition #73114 - Preferred
selma'o
VUhU3
definition
mekso binary operator: generate span; outputs span MATH
$(X_1, X_2)=$
(X1, X2) = span MATH
$_{X_2}(X_1)$
X2(X1); set of all (finite) sums of terms of form cv, where v is an element of algebraic structure X1 (wherein scalar multiplication and summation is defined), and c is a scalar belonging to ring X2.
notes
For example, the span of vectors v1 and v2 in vector space V over the field of exactly all real numbers R has X1 = Intersect(V, Set MATH
$(v_1, v_2))$
(v1, v2)) and X2 = R and yields output Set MATH
$(c_1 v_1 + c_2 v_2 : c_i$
(c1v1 + c2v2 : ci in R for alli), where scalar multiplication and vector addition are as defined in V.
gloss words
created by
vote information
1
time
Mon Jan 9 09:08:49 2023
Examples