Halmos Lin Algebra Problem - clarification



I'm ploughing through Halmos Problem Book. He defines a vector space as a
commutative *group* V of vectors, a field F of scalars and a scalar
multiplication rule.

In Problem 21(4) he declares "Let F be R (the reals) and V the *set * Rplus
of all real positive numbers..." He then defines a peculiar addition rule in
V (a+b = ab) and a scalar multiplication rule ab = b exp a and invites the
reader to establish whether this rule makes V a vector space, by checking
through all the axioms. His answer is "yes", the addition and scalar
multiplication rules 'make' V a vector space.

But - how could V be a vector space, whatever the scalar multiplication
rule? Surely Rplus is not a group (no zero, no additive inverses)? Does
Halmos' vector addition rule make the set V a comutative group?

Would be grateful for a clarification.

Guy Corrigall


.



Relevant Pages

  • Re: Whats a bilinear form?
    ... But one of the most general and useful spaces is the "vector space". ... Or you can multiply a scalar times a vector and get another vector. ... A vector space equipped with a norm is called a "normed linear space". ... An example of an inner product in matrix algebra is ...
    (sci.math)
  • Re: Whats a bilinear form?
    ... But one of the most general and useful spaces is the "vector space". ... Or you can multiply a scalar times a vector and get another vector. ... The concept of the function in mathematics is a mechanism that maps ... An example of an inner product in matrix algebra is ...
    (sci.math)
  • Re: Using different fields for defining vector space?
    ... vector space under coordinate-wise addition, and scalar multiplication ... finite elements, or any strange combinations) ...
    (sci.math)
  • Re: Halmos Lin Algebra Problem - clarification
    ... a field F of scalars and a scalar ... V and a scalar multiplication rule ab = b exp a and invites the ... multiplication rules 'make' V a vector space. ... Halmos' vector addition rule make the set V a comutative group? ...
    (sci.math)
  • Re: Using different fields for defining vector space?
    ... magidin@xxxxxxxxxxxxxxxxx (Arturo Magidin) wrote: ... vector space you actually need two fields, one for scalar, one for ...
    (sci.math)