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
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.
vBulletin® v3.8.7, Copyright ©2000-2012, vBulletin Solutions, Inc.