Recent content by kazuyak

  1. K

    Proving the Mean Value Theorem: Limiting θ(h) to 1/2

    Do you mean that from f'(a+θh)=(f(a+h)-f(a))/h, we get that f'(a)=(f(a+(1-θ)h)-f(a-θh))/h, f'(a+h)=(f(a+(2-θ)h)-f(a+(1-θ)h))/h and than get f''(a) using l'hopital's rule? I doubt I'm doing what you mean, since it's leading me nowhere. Could you please give me some further hints?
  2. K

    Proving the Mean Value Theorem: Limiting θ(h) to 1/2

    Suppose that the conditions for the Mean Value Theorem hold for the function f : [a, a + h] → R, so that for some θ ∈ (0, 1) we have f (a + h) − f (a) = hf ′ (a + θh). Fix f and a, and for each non-zero h write θ(h) for a corresponding value of θ. Prove that if f ′′ (a) exists and is non-zero...
  3. K

    First-Order Logic: Finite & Infinite Domains

    Let L = {f } be a first-order language containing a unary function symbol f , and no other non-logical symbols. 1.Write down a sentence χ of L which is satisfiable in some structure with an infinite domain but is false in every structure with a finite domain. What can you say about the size of...
  4. K

    Continuous Maps and Hausdorff Spaces on [0, 1] x {0, 1}

    Let X be a topological space and A a subset of X . On X × {0, 1} define the partition composed of the pairs {(a, 0), (a, 1)} for a ∈ A , and of the singletons {(x, i)} if x ∈ X \ A and i ∈ {0, 1}. Let R be the equivalence relation defined by this partition, let Y be the quotient space [X × {0...
Back
Top