Real analysis Definition and 524 Threads

  1. P

    I How to show the diagonal in the extended plane is closed?

    Let ##(f_n)## be a sequence of measurable functions from ##E## into ##\mathbb R##. I'm reading a proof of the fact that the set ##A## of all ##x\in E## for which ##f_n(x)## converges in ##\mathbb R## as ##n\to\infty## is measurable. The proof goes like this (I'm paraphrasing): Why is...
  2. P

    I Verifying pointwise convergence of indicator functions

    I'm reading a proof of a lemma that $$A_rf(x)=\frac1{m(B(r,x))}\int_{B(r,x)}f(y)\,dy,$$where ##m## is Lebesgue measure, is jointly continuous in ##r## and ##x## (##A## stands for average). The claim that ##\chi_{B(r,x)}\to\chi_{B(r_0,x_0)}## on ##\mathbb R^n\setminus S(r_0,x_0)## is made in the...
  3. P

    I Help understanding a passage from a proof of change of variables formula

    Here's an excerpt from the proof of the change of variables formula in Folland's book (Theorem 2.47, page 76, 2nd edition, 6th and later printings): For reference, see Theorem 2.40 below. I don't understand how he is using Theorem 2.40 in the quoted passage. Which part of Theorem 2.40 is he...
  4. I

    I Questions on ##\mathbb{R}##

    I am learning analysis from Rudin's famous book (baby rudin). I am confused about how ##\mathbb{R}## is defined in this book. In the appendix of chapter 1, he says that members of ##\mathbb{R}## will be certain subsets of ##\mathbb{Q}##, called cuts. Is this definition different from the way we...
  5. P

    I Usage of inverse function theorem in Folland

    Here's the inverse function theorem as stated in Spivak's book: Then there's a paragraph in Folland's book: I have read the inverse function theorem and its proof in Spivak's Calculus on Manifolds and I have a hard time reconciling it with what Folland states in his book on the chapter on...
  6. P

    I Zero raised to a positive real number

    I feel silly for asking, since I have accepted this always as true, but I don't have a reference for what ##0^p## equals when ##p## is a positive real number. This dawned on me when trying to show the positive definiteness of the ##p##-norm for ##x\in\mathbb R^n##, that is, $$x=0\iff...
  7. P

    I A correct definition of sequential right continuity of a function

    Here's my definition I've been working on. Comments? Suggestions for improvements? EDIT: The reason I'm looking for a sequential characterization of right continuous is because the way you check that ##F## is right continuous is through...
  8. P

    I Exercise 2.23 in Folland's real analysis text

    I'm working the above exercise on the Lebesgue criterion for Riemann integrability in Folland's real analysis text, i.e. a function is Riemann integrable on ##[a,b]## iff it is continuous a.e. on ##[a,b]##. I think I know a solution, but I'm more concerned about elementary things. Are ##h,H##...
  9. P

    I Regarding dominated convergence theorem in Folland

    That's the first sentence in the proof. Prior to this Folland mentions the spaces ##L^1(\overline{\mu})## and ##L^1(\mu)## and how "we can (and shall) identify these spaces." (here ##\overline{\mu}## is the completion of ##\mu##). The propositions mentioned in the proof read as follows: I'm...
  10. P

    I On Borel sets of the extended reals

    On page 45 in Folland's text on real analysis, he writes that we define Borel sets in ##\overline{\mathbb R}## by ##\mathcal B_{\overline{\mathbb R}}=\{E\subset \overline{\mathbb R}: E\cap\mathbb R\in \mathcal B_{\mathbb R}\}##. Then he remarks that this coincides with the usual definition of...
  11. P

    I Uniform closure of algebra of bounded functions is uniformly closed

    First some definitions: After Rudin has shown that ##\mathcal B## is an algebra, he invokes another theorem to claim it is uniformly closed. That theorem states that if ##X## is a metric space and ##E\subset X##, then ##\overline E## is closed. I don't understand Rudin's reasoning here, and...
  12. M

    A Question about different statements of Picard Theorem

    I want to prove following (Big Picard Theorem forms):\ Theorem. The followings are equivalent:\ a) If ##f \in H(\mathbb{D}\setminus\{0\})## and ##f(\mathbb{D}') \subset \mathbb{C} \setminus \{0, 1\}##, then ##f## has a pole of an removable singularity at ##0##.\ b) Let ##\Omega \subset...
  13. M

    A Question about proof of Great Picard Theorem

    I need help please! So I'm reading 'Complex made simple' by David C. Ullrich. I made all the requirements for this proof but the author don't give the proof of this final theorem, instead it gives a similar proof for another set of theorems. Let ##\mathbb{D}' = \mathbb{D} \setminus \{0\}##...
  14. M

    A Existence of a limit implies that a function can be harmonic extended

    ##\textbf{Theorem}## If ##u: \mathbb{D'} = \mathbb{D} \setminus \{0\} \to \mathbb{R}## is harmonic and bounded, then ##u## extends to a function harmonic in ##\mathbb{D}##. In the next proof ##\Pi^+## is the upper half-plane. ##\textbf{Proof}##: Define a function ##U: \Pi^{+} \rightarrow...
  15. M

    A Question about branch of logarithm

    I have a question about Daniel Fischer's answer here Why the function ##g(w)## is well-defined on ##\mathbb{D} \setminus \{0\}##? I don't understand how ##\log## function works here and how a branch of ##\log## function can be defined on whole ##\mathbb{D} \setminus \{0\}##. For example...
  16. M

    I Question about uniform convergence in a proof

    The below proposition is from David C. Ullrich's "Complex Made Simple" (pages 264-265) Proposition 14.5. Suppose ##D## is a bounded simply connected open set in the plane, and let ##\phi: D \rightarrow \mathbb{D}## be a conformal equivalence. (i) If ##\zeta## is a simple boundary point of...
  17. P

    Verify property of inner product

    I struggle with verifying positive-definiteness, in particular $$\langle f,f\rangle =0\implies f=0.$$ I know that for continuous non-negative functions, if the integral vanishes, then the function is identically ##0##. Here, however, ##f## being in ##L^2## does not make it continuous, right...
  18. Z

    Prove every subset of countable set is either finite or else countable

    There are a lot of steps left out of this proof. Here is my proof with hopefully all the steps. I would like to know if it is correct Let ##A## be a countable set. Then ##A## is either finite or countably infinite. Case 1: ##A## is finite. There is a bijection ##f## from ##A## onto...
  19. Z

    Prove that every subset ##B## of ##A=\{1,...,n\}## is finite

    I am very unsure about the proof below. I'd like to know if it is correct. If ##B## is empty then it is finite by definition. If ##B## is non-empty then since ##B\subset\mathbb{N}## it has a smallest element ##b_1##. If ##B \backslash \{b_1\}## is non-empty then it has a smallest element...
  20. Z

    Prove if ##x<0## and ##y<z## then ##xy>xz## (Rudin)

    These axioms lead to certain properties The properties above apply to all fields. We can define a more specific type of field, the ordered field And the following properties follow from this definition My question is about the proof of (c). My initial proof was Using b) with...
  21. Z

    Prove ##|\{ q\in\mathbb{Q}: q>0 \} |=|\mathbb{N}|##.

    This problem is the final exercise of problem set 1 on MIT OCW's course 18.100A, Real Analysis. Since there are no solutions available for this problem set, I would like to show my attempt at a solution here and ask if it is correct. Here is the problem statement (also available as problem 6...
  22. P

    I On (real) entire functions and the identity theorem

    In Ordinary Differential Equations by Adkins and Davidson, in a chapter on the Laplace transform (specifically, in a section where they discuss the linear space ##\mathcal{E}_{q(s)}## of input functions that have Laplace transforms that can be expressed as proper rational functions with a fixed...
  23. P

    B Questions on a numberphile video

    The above two video from numberphile are trying to motivate real analysis (I think?). The latter continues on from the former. Presenter's argument goes kind of like this: He first considers the real number line and talks about measuring distance between numbers 4-3=1 Then he talks about...
  24. L

    I Why is this function not ##L^1(\mathbb{R} \times \mathbb{R})##?

    Hi everyone in the following expression ##f(t)=\frac{1}{2 \pi} \int\left(\int f(u) e^{-i \omega u} d u\right) e^{i \omega t} d \omega ## the book says I can't swap integrals bacause the function ##f(u) e^{i \omega(t-u)}## is not ## L^1(\mathbb{R} \times \mathbb{R})## why ? complex...
  25. S

    On the ratio test for power series

    In these lecture notes, there is the following theorem and proof: I'm confused about "...the power series converges if ##0\leq r<1##, or ##|x-c|<R##...". In other words, why is ##|x-c|<R## equivalent to ##0\leq r<1##? I guess the author reasons as follows. If $$R=\lim _{n\to \infty...
  26. I

    Prove ##(a+b) + c = a + (b+c)## using Peano postulates

    I have to prove the associative law for addition ##(a+b) + c = a + (b+c)## using Peano postulates, given that ##a, b, c \in \mathbb{N}##. Now define the set $$ G = \{ z \in \mathbb{N} |\forall\; x, y \in \mathbb{N} \quad (x + y) + z = x + (y + z) \} $$ Obviously, ## G \subseteq \mathbb{N} ##...
  27. caffeinemachine

    I Feedback for my YouTube Videos on Real Analysis

    Some time back I posted about my videos on Group Theory on YouTube and got valuable feedback from the PF community. With the response in mind, I made substantial changes to my presentation. One of the main complaints was that I was speaking too fast. Here is my recent video on Real Analysis...
  28. bhobba

    B How can hyperreal numbers make infinitesimals logically sound in calculus?

    When I learned calculus, the intuitive idea of infinitesimal was used. These are numbers so small that, for all practical purposes (say 1/trillion to the power of a trillion) can be taken as zero but are not. That way, when defining the derivative, you do not run into 0/0, but when required...
  29. L

    Approaching the Measure of a Set: Strategies for Finding f(Eα)

    my question is how can I approch the problem ? And what is explicitly the set f(Eα)? {f(x) ∈ [a, b] such that what ??}
  30. M

    My proof of the Geometry-Real Analysis theorem

    Consider a convex shape ##S## of positive area ##A## inside the unit square. Let ##a≤1## be the supremum of all subsets of the unit square that can be obtained as disjoint union of finitely many scaled and translated copies of ##S##. Partition the square into ##n×n## smaller squares (see...
  31. J

    Can a Function Have Two Different Tangent Lines at the Same Point?

    Proof: Suppose f is a function and x is in the domain of f s.t. there is a derivative at the point x and sppse. there are two tangent lines at the point (x,f(x)). Let t1 represent one of the tangent lines at (x,f(x)) and let t2 represent the other tangent line at (x,f(x)) s.t. the slopes of t1...
  32. C

    Problems with Real Analysis class

    Hi. I'm nearing retirement so I thought I would take some math classes. This fall I took a Real Analysis class at a good school and dropped it because I did so bad on the first exam. I did great on the homework and quizzes. I also took Real Analysis about 47 years ago at a very good school...
  33. MexChemE

    Analysis Study plan for Functional Analysis - Recommendations and critique

    Hello, PF! It’s been a while since I last posted. I am looking for a critique and recommendations regarding my study plan towards Functional Analysis and applications (convex optimization, optimal control), but first, some background: - This plan is in preparation for my master’s thesis, I...
  34. H

    Proving that there is a sequence in S, such that ##\lim s_n = \sup S##

    Let ##S=\{s_n:n∈N\}##. ##\sup S## is the least upper bound of S. For any ϵ>0, we have an m such that ##\sup S−\epsilon \lt s_m## ##\sup S−s_m \lt \varepsilon## ##|\sup S−s_m| \lt \varepsilon## I mean to say that, no matter how small ϵ is, there is always an element of S whose distance from supS...
  35. I

    If ##x> 1## and ##x^2 <2##, prove ##x < y##, ##y^2<2##

    Suppose ##x \in \mathbb{Q}## and ##x > 1## and ## x^2 < 2##. I need to come up with some ##y \in \mathbb{Q}## such that ##x < y## and ## y^2 < 2##. Here is my attempt. Give that ##x > 1## and ## x^2 < 2##, I have ## (2-x^2) > 0## and ##4x > 0##. Also, ##2x >0##. Now define $$ \alpha = \text{...
  36. H

    Proving that an Integer lies between x and y using Set Theory

    ## y-x \gt 1 \implies y \gt 1+x## Consider the set ##S## which is bounded by an integer ##m##, ## S= \{x+n : n\in N and x+n \lt m\}##. Let's say ##Max {S} = x+n_0##, then we have $$ x+n_0 \leq m \leq x+(n_0 +1)$$ We have, $$ x +n_0 \leq m \leq (x+1) +n_0 \lt y+ n_0 $$ Thus, ##x+n_0 \leq m \lt...
  37. H

    Proving a property of a Dedekind cut

    A Dedekind cut is a pair ##(A,B)##, where ##A## and ##B## are both subsets of rationals. This pair has to satisfy the following properties A is nonempty B is nonempty If ##a\in A## and ##c \lt a## then ##c \in A## If ##b \in B## and ## c\gt b## then ##c \in B## If ##b \not\in B## and ## a\lt...
  38. C

    Which of the following statements are true? (Real Analysis question)

    Summary:: x Problem: Let ##f:[0, \infty) \rightarrow \mathbb{R}## be a positive function s.t. for all ## M > 0 ## it occurs that ## f ## is integrable on ## [0,M] ##. Which of the following statements are true? A. If ##\lim _{x \rightarrow+\infty} f(x)=0## then ##\int_{0}^{\infty} f(x) d x##...
  39. PseudoQuantum

    Analysis Which Math Textbook is Best for Preparing for Real Analysis?

    Hi all. I am a math major. I will be taking real analysis next Fall with an excellent professor who I know to be also quite demanding. I would like to be as well prepared for this class as possible besides going through a real analysis text or lecture series over the Summer and causing the class...
  40. Math Amateur

    MHB How to Prove \(\text{vol}_n (B) = \text{vol}_n (B') + \text{vol}_n (B'')\)?

    I am reading Multidimensional Real Analysis II (Integration) by J.J. Duistermaat and J.A.C. Kolk ... and am focused on Chapter 6: Integration ... I need some help with the proof of Proposition 6.1.2 ... and for this post I will focus on the first auxiliary result ... see (i) ... at the start of...
  41. C

    I In Euclidian space, closed ball is equal to closure of open ball

    Problem: Let ## (X,d) ## be a metric space, denote as ## B(c,r) = \{ x \in X : d(c,x) < r \} ## the open ball at radius ## r>0 ## around ## c \in X ##, denote as ## \bar{B}(c, r) = \{ x \in X : d(c,x) \leq r \} ## the closed ball and for all ## A \subset X ## we'll denote as ## cl(A) ## the...
  42. D

    Real analysis: prove the limit exists

    Prove that each of the limits exists or does not exist. 1. ##\text{lim}_{x\rightarrow 2}(x^2-1)=3## ##\text{lim}_{x\rightarrow 2}(x^2-1)=3## if ##\forall \epsilon>0, \exists \delta ## such that ##|x-2|<\delta \Rightarrow |f(x)-3|<\epsilon##. \begin{align}&|x^2-1|=|x+1||x-1|\leq \epsilon\\...
  43. H

    Prove that the inner product converges

    I'm learning Linear Algebra by self and I began with Apsotol's Calculus Vol 2. Things were going fine but in exercise 1.13 there appeared too many questions requiring a strong knowledge of Real Analysis. Here is one of it (question no. 14) Let ##V## be the set of all real functions ##f##...
  44. C

    I What's the definition of "periodic extension of a function"?

    I'm learning about Fourier theory from my lecture notes and I have a few questions that I wasn't able to concretely find answers to: 1. What's the definition of periodic extension? I think the definition is as follows ( Correct me if I'm wrong please ): for ## f: [ a,b) \to \mathbb{R} ## its...
  45. C

    Prove limit comparison test for Integrals

    Attempt: Note we must have that ## f>0 ## and ## g>0 ## from some place or ## f<0 ## and ## g<0 ## from some place or ## g ,f ## have the same sign in ## [ 1, +\infty) ##. Otherwise, we'd have that there are infinitely many ##x's ## where ##g,f ## differ and sign so we can chose a...
  46. U

    I Limit of limits of linear combinations of indicator functions

    I have a sequence of functions ##0\leq f_1\leq f_2\leq ... \leq f_n \leq ...##, each one defined in ##\mathbb{R}^n## with values in ##\mathbb{R}##. I have also that ##f_n\uparrow f##. Every ##f_i## is the limit (almost everywhere) of "step" functions, that is a linear combination of rectangles...
  47. Mr.Husky

    Other Learning Real Analysis at My Own Pace

    Hi everyone, I recently started studying real analysis from baby Bruckner couple. It feels me like, "I am running too fast to reach my destination but in the process of running, I decreased my oxygen level." So, I stopped trying to complete uni coursework fast. But rather I started reading...
  48. Mr.Husky

    Analysis Opinions on textbooks on Analysis

    What are your opinions on Barry Simon's "A Comprehensive Course in Analysis" 5 volume set. I bought them with huge discount (paperback version). But I am not sure should I go through these books? I have 4 years and can spend 12 hours a week on them. Note- I am now studying real analysis from...
  49. C

    Showing continuous function has min or max using Cauchy limit def.

    Problem: Let ## f: \Bbb R \to \Bbb R ## be continuous. It is known that ## \lim_{x \to \infty } f(x) = \lim_{x \to -\infty } f(x) = l \in R \cup \{ \pm \infty \} ##. Prove that ## f ## gets maximum or minimum on ## \Bbb R ##. Proof: First we'll regard the case ## l = \infty ## ( the case...
  50. C

    I ##(a_n) ## has +10,-10 as partial limits. Then 0 is also a partial limit

    Problem: If sequence ## (a_n) ## has ##10-10## as partial limits and in addition ##\forall n \in \mathbb{N}.|a_{n+1} − a_{n} |≤ \frac{1}{n} ##, then 0 is a partial limit of ## (a_n) ##. Proof : Suppose that ## 0 ## isn't a partial limit of ## (a_n) ##. Then there exists ## \epsilon_0 > 0 ## and...
Back
Top