Re: linear operator as dynamical system



Thank you Robert and Mariano for clarifying usage of 'operator' in the
context of vector or linear spaces. In topology 'map' is used in a
similar way, it can mean a function or a continuous function, depending
upon context and author

Just what is a linear operator f:V -> V?
A function f:V -> V or f:V -> W for which
f(x + y) = f(x) + f(y)
f(ax) = af(x) ?

Yes.

Why is the expression 'operator' used instead of function?

Why not?

In any case, an operator is just a function and the difference
is only psychological and historical.

Does it compare with the expression 'functional' which indicates
a function or map from a function space to a function space?

Usually functional is used for linear maps from vector
spaces to *scalars*.

assuming V and W have the same scalars.

That's covered by the "over the same field F"

What makes a linear operator closed?

The statement was about the field, not the operators.

I was pulling from another problem which asked for an example of
a closed operator that mapped a closed set to a not closed set.

In the context of functional analysis, a linear operator
f : V --> W is closed if its graph

{ (v, f(v)) in V direct sum W : v in V }

is a closed subspace of V direct sum W.

That has nothing to do with the present context.

Perhaps this is a different sense of operator, yet it was an analysis
problem where linear spaces are in vogue and 'operator' could likely be
used for 'linear function'. Is that common usage with vector spaces,
that an operator is usually linear?

It is common when one is dealing with linear operators
to say simply `operator'. When one is dealing with
non-linear operators, one also says simply `operator'.

In general, one uses whatever is more convenient in the
context that one is in.

Since + is continuous
lim(x->r) f(x) = lim(x->0) f(r + x)
= lim(x->0) (f(r) + f(x))
= f(r) + lim(x->0) f(x)

So if a linear function is continuous at 0, it's continuous.

Indeed.

By the continuity of scalar multiplication, can I get away with
lim(x->0) f(x) = lim(a->0) f(ax) = lim(a->0) a.f(x) = 0 = f(0)
or
lim(x->0) f(x) = lim(a->0) f(ay) = lim(a->0) a.f(y) = 0 = f(0);

that linear functions are continuous at 0, hence continuous?

It is not true that

lim(x->0) f(x) = lim(a->0) f(ax)

Moreover, there are linear maps which are not continuous.

To provide an example, you need infinite dimensional vector
spaces (a linear map between finite dimensional vector spaces
*is* continuous). A very simple example is the following:

Let V be the vector space of all functions f : R --> R
which are bounded and differentiable at 0. Consider the
sup-norm on V, so that

|| f || = sup_{x \in R} |f(x)|

and put on V the corresponding topology. Then the map

f in V ---> f'(0) in R

is not continuous, yet it is linear.

If I took a Hamel base of reals over rationals, would that suffice for
making a counter example?

A counter example to what? If to the statement that linear maps
are continuous, you'd have to build a map from the Hamel basis
somehow and *then* we'd know if it worked or not...

-- m

.



Relevant Pages

  • Re: How do women read maps?
    ... point they observed him reading a map, and he was turning it around. ... make someone good at science, ... Most of the maths, IT and physics people were crowded towards the linear end of the line, with the arts department way out to the other end of the line. ... A staff of 38 in a boy's grammar school, with slightly less than half being female, is a long way from a viable statistical sample, but it generally followed expectations in that more men than women were distributed towards the linear and the sciences/maths/IT end, and more of the woment towards the visual/Arts/Humanities end. ...
    (uk.rec.walking)
  • Re: walks around Settle
    ... Foss and Gordale Scar unless you stretch your definition of "linear" ... The map makes it fairly clear. ... The most impressive feature ... I have seen the cove b4 but it would be nice to visit the other ...
    (uk.rec.walking)
  • Re: ? linear, semiL, pseudoL, and NL
    ... > In defining linear, semilinear, pseudolinear, and nonlinear DEs, ... i.e. to the latter spaces (passing a map ... from the vector space to get the set in which an equivalence relat. ...
    (sci.math)
  • Re: Whats a bilinear form?
    ... two variables in which the map is linear. ... So a bilinear form is a map ... where T_m is the tangent space at m. ...
    (sci.math)
  • Re: L^1 question
    ... >> of continuous functions which converges to that element? ... from inside by a closed set F and from the outside by an open set G so ... functions of intervals span a dense subset of L^1. ...
    (sci.math)