LÍMITES - Clase Completa desde Cero

Main Ideas, Concepts, and Lessons

Limits as “trend analysis”

• A limit describes the value a function (or expression) tends to produce when the input (x) gets arbitrarily close to some point (e.g., (x \to 3)).
• The key idea is approaching, not necessarily evaluating the function at the point.
• This mindset connects limits to many core calculus ideas:
  • Integral as the limit of a sum
  • Series as the limit of a partial sum
  • Derivative as the limit of an incremental quotient
  • Continuity requires checking the limit at a point

Intuition: “get close without reaching”

• It’s possible to approach a destination indefinitely without ever arriving in a finite number of steps (e.g., repeatedly moving half the remaining distance).
• Analogy:
  • In reality, lines/segments have thickness, but in mathematics they are treated as ideal objects.
  • Zooming in can mimic “closeness without contact.”
• Another motivation: between any two distinct real numbers there are infinitely many real numbers, supporting the rigorous need for limits.

Lateral (one-sided) limits

• Right-hand limit: [ \lim_{x\to a^+} f(x) ] describes what (f(x)) tends to when (x) approaches (a) from the right.

• Left-hand limit: [ \lim_{x\to a^-} f(x) ] describes what (f(x)) tends to when (x) approaches (a) from the left.

• If the left and right limits match (finite), then the two-sided limit exists: [ \lim_{x\to a} f(x)=L ]

• If they do not match, the limit does not exist.

When a limit “does not exist”: infinity and divergence

• The discussion includes cases where the function grows without bound as (x) approaches a point.
• Infinity is treated as “not a number” in the usual finite sense:
  • it means values become arbitrarily large (or small),
  • so a standard finite limit does not exist.
• Example idea: if a denominator approaches zero from one side, the function can behave like a vertical asymptote (values “blow up”).

Horizontal “strip” intuition (limits at infinity)

• If a function flattens toward a horizontal value as (x \to \infty) (or similarly “far away”), that horizontal value is the limit—approaching a constant.

Algebraic laws of limits (with important restrictions)

• Limits can often be computed using laws, but they must be applied carefully.
• For sums/products/quotients, relevant limits must exist separately; for quotients, the denominator’s limit must not lead to division by zero.

• Typical properties include:

  • Sum law: if (\lim f(x)) and (\lim g(x)) exist, then [ \lim (f+g)=\lim f+\lim g ]

  • Product law: if both limits exist, then [ \lim (fg)=(\lim f)(\lim g) ]

  • Quotient law: if both limits exist and (\lim g(x)\neq 0), then [ \lim\left(\frac{f}{g}\right)=\frac{\lim f}{\lim g} ]

  • Constant multiple: [ \lim (c\,f(x))=c\lim f(x) ]

  • Powers: (conceptually) [ \lim (f(x))^n = (\lim f(x))^n ]

  • Roots (with restrictions): [ \lim \sqrt[n]{f(x)} = \sqrt[n]{\lim f(x)} ] only under appropriate real-number constraints (e.g., even (n) often requires the inside to be (\ge 0)).

When you can substitute directly (continuity / rational functions)

• If (f) is continuous at (a) and (a) lies in the domain, then: [ \lim_{x\to a} f(x)=f(a) ]

• For rational functions:

  • issues occur where the denominator is zero.
  • cancellations must be handled carefully.
• Common pitfall:
  • cancelling factors is valid only if the cancelled denominator is not zero for the values of (x) being approached.
  • limits concern values where the expression is effectively being evaluated (often (x\neq a)).

Graphing a limit example via “hole” (removable discontinuity)

• Approach:
  • For (x\neq 1), simplify and match the line behavior.
  • At (x=1), the expression is undefined, so the graph has a hole, not necessarily the simplified value.

Compression (Sandwich) Theorem

• If functions satisfy, near (a): [ g(x)\le h(x)\le f(x) ] and [ \lim_{x\to a} g(x)=\lim_{x\to a} f(x)=L, ] then: [ \lim_{x\to a} h(x)=L. ]

Classic application: (\lim_{x\to 0}\frac{\sin x}{x}=1)

• Geometric inequalities (triangle/circle reasoning) bound the expression involving (\sin x) and (x).
• The squeeze theorem then implies the limit is 1.

Rigorous definition using (\varepsilon)-(\delta)

• “Approaches” means outputs get within an arbitrarily small error (\varepsilon).

• Formal statement:

  • For every (\varepsilon>0), there must exist a (\delta>0) such that if [ 0<|x-a|<\delta, ] then [ |f(x)-L|<\varepsilon. ]

• Key emphasis:

  • the (x)-interval is chosen using (\delta),
  • output closeness is controlled by (\varepsilon),
  • making (\varepsilon) smaller may require choosing a (possibly smaller) (\delta).

---

Methodology / Instruction-Like Elements

1) How to reason about a limit (conceptual workflow)

• Identify the point (a) that the input approaches.
• Check left-hand behavior:
  • evaluate/estimate (\lim_{x\to a^-} f(x))
• Check right-hand behavior:
  • evaluate/estimate (\lim_{x\to a^+} f(x))
• Compare:
  • If both match and are finite → two-sided limit exists
  • If they differ → limit does not exist
  • If outputs blow up to (\pm\infty) → no finite limit (diverges)

2) How to use algebraic laws of limits (practical rules)

• Before applying laws, verify what’s required:
  • the relevant (\lim f(x)) and/or (\lim g(x)) exist (often finite) when needed.
• Apply cautiously:
  • Sum: if both limits exist → (\lim(f+g)=\lim f+\lim g)
  • Product: if both limits exist → (\lim(fg)=(\lim f)(\lim g))
  • Quotient: if (\lim g(x)\neq 0) and both limits exist → (\lim(f/g)=(\lim f)/(\lim g))
  • Constant factor: (\lim(c f)=c\lim f)
  • Powers: (\lim (f^n)=(\lim f)^n) for integers (n)
  • Roots: ensure real-number validity (e.g., sign constraints for even roots)

3) When direct substitution is valid

• If (f) is continuous at (a) (and (a) is in the domain), then:
  • (\lim_{x\to a} f(x)) can be found by evaluating (f(a)).
• For rational functions:
  • ensure the denominator is not zero at the substitution point,
  • and confirm simplifications/cancellation are valid for approaching values (typically (x\neq a)).

4) How to apply the Sandwich (Compression) Theorem

• Find bounding functions (g(x)) and (f(x)) such that:
  • (g(x)\le h(x)\le f(x)) near (a).
• Show:
  • (\lim_{x\to a} g(x)=L),
  • (\lim_{x\to a} f(x)=L).
• Conclude:
  • (\lim_{x\to a} h(x)=L).

5) How to follow the (\varepsilon)-(\delta) definition

• Aim to prove (\lim_{x\to a} f(x)=L).
• Choose any (\varepsilon>0).
• Find a corresponding (\delta>0) such that:
  • if (0<|x-a|<\delta), then (|f(x)-L|<\varepsilon).
• Emphasize:
  • (\delta) depends on (\varepsilon),
  • inputs cannot be exactly (x=a) (hence (0<|x-a|)).

---

Speakers / Sources Featured

• Felipe (speaker mentioned/addressed during discussion)
• Carlos (mentioned in a classroom analogy)
• Damian (speaker referenced for explaining/providing laws and later parts)
• Background/onscreen content: geometric reasoning for (\lim_{x\to 0}\frac{\sin x}{x}) (no external source named)