PDA

View Full Version : linear space


batballbat
Nov18-11, 02:57 AM
why arent non continuous functions in an interval a linear space?

CompuChip
Nov18-11, 06:26 AM
Why don't you try to find a counterexample?

Hint: try looking at closure under addition: can you find two discontinuous functions f and g such that f + g is continuous?

batballbat
Nov18-11, 06:54 AM
why does f+g have to be continuous? I can see that even for discontinuous functions they are closed under addition and multiplication

Deveno
Nov18-11, 07:42 AM
suppose our interval is [0,1]. define f:[0,1]→R by:

f(x) = -1, for 0 ≤ x < 1/2
f(x) = 1, for 1/2 ≤ x ≤ 1.

clearly, f is discontinuous (at 1/2).

now define g:[0,1]→R by:

g(x) = 1 for 0 ≤ x < 1/2
gx) = -1, for 1/2 ≤ x ≤ 1.

again, g(x) is discontinuous (at 1/2).

but (f+g)(x) = 0, for all x in [0,1], and constant functions are continuous.

HallsofIvy
Nov18-11, 07:51 AM
In other words, "discontinuous functions" are NOT closed under addition. For a counter example to closure under multiplication, let f(x)= 1 if x is rational, -1 if x is irrational and let g(x)= -1 if x is rational, 1 if x is irrational.

CompuChip
Nov18-11, 08:34 AM
why does f+g have to be continuous?

Because you wanted to show that the space of discontinuous is not linear. If it were linear, it would mean that f + g would be discontinuous if f and g are.

batballbat
Nov18-11, 09:04 PM
If it were linear, it would mean that f + g would be discontinuous if f and g are. i dont understand this part

micromass
Nov18-11, 09:13 PM
By definition, a linear space V must satisfy: if x and y are in V, so is x+y.

If V would be the set of discontinuous functions, then the above becomes: if x and y are discontinuous functions, so is x+y.

The above example shows that this is false, hence the discontinuous functions do not form a linear space.

batballbat
Nov18-11, 09:15 PM
thanks

HallsofIvy
Nov19-11, 08:23 AM
Or, perhaps much more simply, every linear space must contain an additive identity. Since the addition here is ordinary addition of functions, the "additive identity" is the 0 function (f(x)= 0 for all x). That is a continuous function and so is NOT in the set of discontinuous functions.