Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Is (t^2-9)/(t-3) defined at t=3?
Replies: 166   Last Post: Oct 30, 2013 9:41 AM

 Messages: [ Previous | Next ]
 Hetware Posts: 148 Registered: 4/13/13
Re: Is (t^2-9)/(t-3) defined at t=3?
Posted: Oct 19, 2013 7:17 PM

On 10/19/2013 2:15 PM, Peter Percival wrote:

> You really see no difference between
>
> Let f be a continuous, twice differentiable function...
>
> and
>
> Let f be defined by <some formula written here> and
> f is continuous because I say so.
>
> ?
>
>

The notion of "formula" must be taken as extremely broad. Any means of
determining a set of ordered pairs (x, f(x)) will be a formula.

The following is Mathematica code for a function F[x, C, r] where x is
some real value, C is a Boolean value representing the assertion of
continuity, and r is some expression mapping elements of the domain to
elements of the range.

ContinuousQ[r_, x_] := True /; Quiet[NumberQ[r[x]] &&
Element[r[x], Reals] &&
(Limit[r[t], t -> x] == r[x])]
ContinuousQ[r_, x_] := False

RemovableQ[r_, x_] := True /; Quiet[! NumberQ[r[x]] &&
Element[Limit[r[t], t -> x], Reals]]
RemovableQ[r_, x_] := False

(* if continuity of F not asserted return r[x]*)
F[x_, C_, r_] := r[x] /; ! C

(* else if r[x] is continuous return r[x].*)
F[x_, C_, r_] := r[x] /; ContinuousQ[r, x]

(* else if r[x] is a removable discontinuity return Limit[r[t],t->x].*)
F[x_, C_, r_] := Limit[r[t], t -> x] /; RemovableQ[r, x]

F[x_, C_, r_] := False

(*The following are examples of using F[x,C,r] to define function of the
form (x, f(x)) where x and f(x) are real numbers.*)
r[x_] := x/x
f[x_] := F[x, True, r]
Print["r[x_]:=x/x"]
Print["f[x_]:=F[x,True, r]"]

Print["f[1]=", f[1]]
Print["f[0]=", f[0]]

g[x_] := Quiet[F[x, False, r]]
Print["g[x_]:=F[x,False,r]"]
Print["g[1]=", g[1]]
Print["g[0]=", g[0]]

s[x_] := 1/x
Print["s[x_]:=1/x"]

h[x_] := F[x, True, s]
Print["h[x_]:=F[x,True, s]"]
Print["h[1]=", h[1]]
Print["h[0]=", h[0]]

i[x_] := Quiet[F[x, False, s]]
Print["i[x_]:=F[x,False, s]"]
Print["i[1]=", i[1]]
Print["i[0]=", i[0]]

(* And the output *)

r[x_]:=x/x

f[x_]:=F[x,True, r]

f[1]=1

f[0]=1

g[x_]:=F[x,False,r]

g[1]=1

g[0]=Indeterminate

s[x_]:=1/x

h[x_]:=F[x,True, s]

h[1]=1

h[0]=False

i[x_]:=F[x,False, s]

i[1]=1

i[0]=ComplexInfinity

(*End Output*)

So given the mapping r[x_] := x/x we define a function f[x_] := F[x,
True, r] which uses the definition of continuity and r[x] to find a
suitable value for f[x]. If r[x] results in an indeterminate form, f[x]
has a rule which returns the value of Limit[r[t], t -> x]. If r[x] is
not a suitable candidate, that is to say it has one or more irremovable
discontinuities, then f[x] returns False, meaning that the definition

Notice that not asserting continuity gives a different result. In fact,
g[x_]:=F[x,False,r] is just g[x]=r[x].

Is the proposition 'the mapping m is continuous' meaningful?

Date Subject Author
9/28/13 Hetware
9/28/13 Michael F. Stemper
9/28/13 scattered
9/28/13 Hetware
9/28/13 quasi
9/28/13 Hetware
9/28/13 quasi
9/28/13 Peter Percival
9/29/13 quasi
9/28/13 Hetware
9/28/13 Richard Tobin
9/28/13 Hetware
9/28/13 tommyrjensen@gmail.com
9/29/13 Hetware
10/6/13 Hetware
10/6/13 Peter Percival
10/6/13 Hetware
10/6/13 quasi
10/8/13 quasi
10/7/13 Peter Percival
9/29/13 Michael F. Stemper
9/29/13 Hetware
9/29/13 quasi
9/29/13 Hetware
9/29/13 magidin@math.berkeley.edu
10/6/13 Hetware
10/6/13 magidin@math.berkeley.edu
10/7/13 Hetware
10/7/13 LudovicoVan
10/7/13 Peter Percival
10/8/13 magidin@math.berkeley.edu
10/12/13 Hetware
10/12/13 fom
10/13/13 magidin@math.berkeley.edu
10/13/13 Richard Tobin
10/13/13 Hetware
10/13/13 Peter Percival
10/13/13 fom
10/13/13 magidin@math.berkeley.edu
10/13/13 magidin@math.berkeley.edu
10/8/13 quasi
10/8/13 magidin@math.berkeley.edu
10/8/13 quasi
10/8/13 quasi
10/12/13 Hetware
10/13/13 quasi
10/13/13 Peter Percival
10/9/13 magidin@math.berkeley.edu
10/9/13 fom
10/10/13 magidin@math.berkeley.edu
10/10/13 fom
10/7/13 Peter Percival
10/7/13 Hetware
10/7/13 fom
10/7/13 Peter Percival
9/29/13 quasi
9/30/13 Peter Percival
9/30/13 Peter Percival
9/30/13 Peter Percival
9/30/13 RGVickson@shaw.ca
9/30/13 Roland Franzius
9/30/13 Richard Tobin
9/30/13 RGVickson@shaw.ca
9/28/13 Peter Percival
9/28/13 Hetware
9/29/13 Peter Percival
9/28/13 Virgil
9/29/13 quasi
9/29/13 Virgil
9/29/13 Hetware
9/29/13 quasi
9/29/13 Hetware
9/29/13 LudovicoVan
9/29/13 quasi
9/29/13 Virgil
9/29/13 magidin@math.berkeley.edu
9/29/13 Peter Percival
9/29/13 FredJeffries@gmail.com
9/30/13 Hetware
9/30/13 magidin@math.berkeley.edu
10/6/13 Hetware
10/6/13 Peter Percival
10/6/13 Peter Percival
10/6/13 magidin@math.berkeley.edu
10/6/13 Peter Percival
10/6/13 magidin@math.berkeley.edu
10/6/13 David Bernier
9/29/13 Peter Percival
9/28/13 Hetware
9/29/13 Richard Tobin
9/30/13 Ciekaw
9/30/13 Robin Chapman
9/30/13 Virgil
9/30/13 LudovicoVan
9/30/13 LudovicoVan
10/6/13 Hetware
10/7/13 Robin Chapman
10/7/13 David Bernier
10/7/13 Hetware
10/7/13 LudovicoVan
10/8/13 Hetware
10/9/13 Peter Percival
10/9/13 Richard Tobin
10/7/13 Peter Percival
10/8/13 Hetware
10/8/13 Virgil
10/8/13 Hetware
10/9/13 magidin@math.berkeley.edu
10/9/13 Peter Percival
10/10/13 Ciekaw
10/9/13 Peter Percival
10/10/13 Tim Golden BandTech.com
10/13/13 Hetware
10/13/13 Peter Percival
10/13/13 Hetware
10/14/13 Peter Percival
10/13/13 Hetware
10/13/13 fom
10/13/13 Hetware
10/13/13 fom
10/14/13 fom
10/14/13 Hetware
10/14/13 magidin@math.berkeley.edu
10/14/13 magidin@math.berkeley.edu
10/14/13 Peter Percival
10/14/13 Hetware
10/14/13 quasi
10/16/13 @less@ndro
10/16/13 quasi
10/19/13 Hetware
10/19/13 quasi
10/19/13 Hetware
10/20/13 fom
10/20/13 quasi
10/20/13 Hetware
10/20/13 fom
10/20/13 Hetware
10/20/13 Peter Percival
10/20/13 Richard Tobin
10/20/13 Hetware
10/30/13 @less@ndro
10/19/13 Hetware
10/10/13 Ronald Benedik
10/10/13 Peter Percival
10/10/13 Virgil
10/18/13 Hetware
10/19/13 Peter Percival
10/19/13 fom
10/19/13 Peter Percival
10/19/13 Hetware
10/19/13 Peter Percival
10/19/13 Hetware
10/19/13 fom
10/19/13 magidin@math.berkeley.edu
10/19/13 Hetware
10/19/13 magidin@math.berkeley.edu
10/20/13 Hetware
10/20/13 quasi
10/20/13 quasi
10/20/13 Hetware
10/20/13 Peter Percival
10/20/13 magidin@math.berkeley.edu
10/20/13 Hetware
10/20/13 Arturo Magidin
10/20/13 Hetware
10/20/13 magidin@math.berkeley.edu
10/19/13 fom