{"id":1065,"date":"2025-10-15T13:55:25","date_gmt":"2025-10-15T13:55:25","guid":{"rendered":"https:\/\/content.one.lumenlearning.com\/calculus3\/?post_type=chapter&#038;p=1065"},"modified":"2025-10-23T13:54:34","modified_gmt":"2025-10-23T13:54:34","slug":"limits-and-continuity-learn-it-3","status":"publish","type":"chapter","link":"https:\/\/content.one.lumenlearning.com\/calculus3\/chapter\/limits-and-continuity-learn-it-3\/","title":{"raw":"Limits and Continuity: Learn It 3","rendered":"Limits and Continuity: Learn It 3"},"content":{"raw":"<h2>Continuity<\/h2>\r\n<p class=\"whitespace-normal break-words\">In single-variable calculus, we studied continuity of functions and saw how it relied on limits. The definition of continuity for functions of two variables follows the same pattern, with three key conditions that must be satisfied.<\/p>\r\n\r\n<section class=\"textbox recall\" aria-label=\"Recall\">\r\n<p class=\"whitespace-normal break-words\"><strong>Continuity of a Function of One Variable<\/strong><\/p>\r\n<p class=\"whitespace-normal break-words\">A function [latex]f(x)[\/latex] is continuous at point [latex]x=a[\/latex] if three conditions hold:<\/p>\r\n\r\n<ol class=\"[&amp;:not(:last-child)_ul]:pb-1 [&amp;:not(:last-child)_ol]:pb-1 list-decimal space-y-2.5 pl-7\">\r\n \t<li class=\"whitespace-normal break-words\">[latex]f(a)[\/latex] exists.<\/li>\r\n \t<li class=\"whitespace-normal break-words\">[latex]\\underset{x\\to a}{\\text{lim}}f(x)[\/latex] exists.<\/li>\r\n \t<li class=\"whitespace-normal break-words\">[latex]\\underset{x\\to a}{\\text{lim}}f(x)=f(a)[\/latex].<\/li>\r\n<\/ol>\r\n<\/section>\r\n<p class=\"whitespace-normal break-words\">These three conditions are necessary for continuity of a function of two variables as well.<\/p>\r\n\r\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\r\n<h3>continuity of a function of two variables<\/h3>\r\nA function [latex]f\\,(x,\\ y)[\/latex] is <strong>continuous<\/strong> at a point [latex](a,\\ b)[\/latex] in its domain if:\r\n<ol>\r\n \t<li>[latex]f\\,(a,\\ b)[\/latex] exists.<\/li>\r\n \t<li>[latex]\\displaystyle{\\lim_{(x,\\ y)\\to{(a,\\ b)}}}f\\,(x,\\ y)[\/latex] exists.<\/li>\r\n \t<li>[latex]\\displaystyle{\\lim_{(x,\\ y)\\to(a,\\ b)}}f\\,(x,\\ y)=f\\,(a,\\ b)[\/latex].<\/li>\r\n<\/ol>\r\n<\/section><section class=\"textbox example\" aria-label=\"Example\">Show that the function [latex]f\\,(x,\\ y)=\\frac{3x+2y}{x+y+1}[\/latex] is continuous at point [latex](5,-3)[\/latex].[reveal-answer q=\"fs-id1667793753114\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1667793753114\"]\r\n<div style=\"text-align: left;\">There are three conditions to be satisfied, per the definition of continuity. In this example, [latex]a=5[\/latex] and [latex]b=-3[\/latex].<\/div>\r\n<ol>\r\n \t<li>[latex]f\\,(a,\\ b)[\/latex]\u00a0exists. This is true because the domain of the function [latex]f[\/latex]\u00a0consists of those ordered pairs for which the denominator is nonzero (i.e., [latex]x+y+1\\neq{0}[\/latex]). Point [latex](5,-3)[\/latex]\u00a0satisfies this condition. Furthermore,\r\n<div style=\"text-align: center;\">[latex]f\\,(a,\\ b)=f\\,(5,-3)=\\frac{3(5)+2(-3)}{5+(-3)+1}=\\frac{15-6}{2+1}=3.[\/latex]<\/div>\r\n&nbsp;<\/li>\r\n \t<li>[latex]\\displaystyle\\lim_{(x,\\ y)\\to(a,\\ b)}f\\,(x,\\ y)[\/latex] exists. This is also true:\r\n<div style=\"text-align: center;\">[latex]\\begin{array}{ccc}\\hfill {\\displaystyle\\lim_{(x,\\ y)\\to(a,\\ b)}f\\,(x,\\ y)} &amp; =\\hfill &amp; {\\displaystyle\\lim_{(x,\\ y)\\to(5,\\ -3)}\\frac{3x+2y}{x+y+1}}\\hfill \\\\ \\hfill &amp; =\\hfill &amp; {\\frac{\\displaystyle\\lim_{(x,\\ y)\\to(5,\\ -3)}(3x+2y)}{\\displaystyle\\lim_{(x,\\ y)\\to(5,\\ -3)}(x+y+1)}}\\hfill \\\\ \\hfill &amp; =\\hfill &amp; {\\frac{15-6}{5-3+1}}\\hfill \\\\ \\hfill &amp; =\\hfill &amp; {3.}\\hfill \\\\ \\hfill \\end{array}[\/latex]<\/div><\/li>\r\n \t<li>[latex]\\displaystyle\\lim_{(x,\\ y)\\to(a,\\ b)}f\\,(x,\\ y)=f\\,(a,\\ b)[\/latex].\u00a0This is true because we have just shown that both sides of this equation equal three.<\/li>\r\n<\/ol>\r\n[\/hidden-answer]\r\n\r\n<\/section>\r\n<h3 class=\"text-xl font-bold text-text-100 mt-1 -mb-0.5\">Properties of Continuous Functions<\/h3>\r\n<p class=\"whitespace-normal break-words\">Continuity can also be defined using the epsilon-delta definition. A function of two variables is continuous at a point [latex](x_0,y_0)[\/latex] in its domain if for every [latex]\\epsilon&gt;0[\/latex] there exists [latex]\\delta&gt;0[\/latex] such that, whenever [latex]\\sqrt{(x-x_0)^2+(y-y_0)^2}&lt;\\delta[\/latex], we have [latex]|f(x,y)-f(x_0,y_0)|&lt;\\epsilon[\/latex].<\/p>\r\n<p class=\"whitespace-normal break-words\">This definition can be combined with the epsilon-delta definition of continuity for functions of one variable to prove the following theorems.<\/p>\r\n\r\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\r\n<h3>sum of continuous functions<\/h3>\r\nIf [latex]f(x,y)[\/latex] is continuous at\u00a0[latex](x_0,y_0)[\/latex], and\u00a0[latex]g(x,y)[\/latex] is continuous at\u00a0[latex](x_0,y_0)[\/latex], then\u00a0[latex]f(x,y)+g(x,y)[\/latex] is continuous at\u00a0[latex](x_0,y_0)[\/latex].\r\n\r\n<\/section><section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\r\n<h3>product of continuous functions<\/h3>\r\nIf [latex]g(x)[\/latex] is continuous at\u00a0[latex]x_0[\/latex], and\u00a0[latex]h(y)[\/latex] is continuous at\u00a0[latex]y_0[\/latex], then\u00a0[latex]f(x,y)=g(x)h(y)[\/latex] is continuous at\u00a0[latex](x_0,y_0)[\/latex].\r\n\r\n<\/section><section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\r\n<h3>composition of continuous functions<\/h3>\r\nLet [latex]g[\/latex] be a function of two variables continuous at [latex](x_0,y_0)\\in{D}[\/latex], and define [latex]z_0=g(x_0,y_0)[\/latex]. Let [latex]f[\/latex] be a function of one variable continuous at [latex]z_0[\/latex]. Then [latex]f\\circ g[\/latex] is continuous at [latex](x_0,y_0)[\/latex].\r\n\r\n<\/section>\r\n\r\n[caption id=\"attachment_979\" align=\"aligncenter\" width=\"856\"]<img class=\"size-full wp-image-979\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/09\/28225710\/4-2-7.jpeg\" alt=\"A shape is shown labeled the domain of g with point (x, y) inside of it. From the domain of g there is an arrow marked g pointing to the range of g, which is a straight line with point z on it. The range of g is also marked the domain of f. Then there is another arrow marked f from this shape to a line marked range of f.\" width=\"856\" height=\"228\" \/> Figure 1.\u00a0The composition of two continuous functions is continuous.[\/caption]\r\n<p class=\"whitespace-normal break-words\">We can use these theorems to show continuity of functions in the following example.<\/p>\r\n\r\n<section class=\"textbox example\" aria-label=\"Example\">Show that the functions [latex]f\\,(x,\\ y)=4x^{3}y^{2}[\/latex] and [latex]g\\,(x,\\ y)=\\cos{(4x^{3}y^{2})}[\/latex] are continuous everywhere.[reveal-answer q=\"fs-id2667993733114\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id2667993733114\"]\r\n\r\nThe polynomials [latex]g\\,(x)=4x^{3}[\/latex] and [latex]h\\,(y)=y^{2}[\/latex]\u00a0are continuous at every real number, and therefore by the product of continuous functions theorem, [latex]f\\,(x,\\ y)=4x^{3}y^{2}[\/latex] is continuous at every point [latex](x,\\ y)[\/latex] in the [latex]xy[\/latex]-plane. Since [latex]f\\,(x,\\ y)=4x^{3}y^{2}[\/latex]\u00a0is continuous at every point [latex](x,\\ y)[\/latex] in the [latex]xy[\/latex]-plane and [latex]g\\,(x)=\\cos{x}[\/latex]\u00a0is continuous at every real number [latex]x[\/latex],\u00a0the continuity of the composition of functions tells us that [latex]g\\,(x,\\ y)=\\cos{(4x^{3}y^{2})}[\/latex] is continuous at every point [latex](x,\\ y)[\/latex] in the [latex]xy[\/latex]-plane.\r\n\r\n[\/hidden-answer]\r\n\r\n<\/section>","rendered":"<h2>Continuity<\/h2>\n<p class=\"whitespace-normal break-words\">In single-variable calculus, we studied continuity of functions and saw how it relied on limits. The definition of continuity for functions of two variables follows the same pattern, with three key conditions that must be satisfied.<\/p>\n<section class=\"textbox recall\" aria-label=\"Recall\">\n<p class=\"whitespace-normal break-words\"><strong>Continuity of a Function of One Variable<\/strong><\/p>\n<p class=\"whitespace-normal break-words\">A function [latex]f(x)[\/latex] is continuous at point [latex]x=a[\/latex] if three conditions hold:<\/p>\n<ol class=\"[&amp;:not(:last-child)_ul]:pb-1 [&amp;:not(:last-child)_ol]:pb-1 list-decimal space-y-2.5 pl-7\">\n<li class=\"whitespace-normal break-words\">[latex]f(a)[\/latex] exists.<\/li>\n<li class=\"whitespace-normal break-words\">[latex]\\underset{x\\to a}{\\text{lim}}f(x)[\/latex] exists.<\/li>\n<li class=\"whitespace-normal break-words\">[latex]\\underset{x\\to a}{\\text{lim}}f(x)=f(a)[\/latex].<\/li>\n<\/ol>\n<\/section>\n<p class=\"whitespace-normal break-words\">These three conditions are necessary for continuity of a function of two variables as well.<\/p>\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\n<h3>continuity of a function of two variables<\/h3>\n<p>A function [latex]f\\,(x,\\ y)[\/latex] is <strong>continuous<\/strong> at a point [latex](a,\\ b)[\/latex] in its domain if:<\/p>\n<ol>\n<li>[latex]f\\,(a,\\ b)[\/latex] exists.<\/li>\n<li>[latex]\\displaystyle{\\lim_{(x,\\ y)\\to{(a,\\ b)}}}f\\,(x,\\ y)[\/latex] exists.<\/li>\n<li>[latex]\\displaystyle{\\lim_{(x,\\ y)\\to(a,\\ b)}}f\\,(x,\\ y)=f\\,(a,\\ b)[\/latex].<\/li>\n<\/ol>\n<\/section>\n<section class=\"textbox example\" aria-label=\"Example\">Show that the function [latex]f\\,(x,\\ y)=\\frac{3x+2y}{x+y+1}[\/latex] is continuous at point [latex](5,-3)[\/latex].<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"qfs-id1667793753114\">Show Solution<\/button><\/p>\n<div id=\"qfs-id1667793753114\" class=\"hidden-answer\" style=\"display: none\">\n<div style=\"text-align: left;\">There are three conditions to be satisfied, per the definition of continuity. In this example, [latex]a=5[\/latex] and [latex]b=-3[\/latex].<\/div>\n<ol>\n<li>[latex]f\\,(a,\\ b)[\/latex]\u00a0exists. This is true because the domain of the function [latex]f[\/latex]\u00a0consists of those ordered pairs for which the denominator is nonzero (i.e., [latex]x+y+1\\neq{0}[\/latex]). Point [latex](5,-3)[\/latex]\u00a0satisfies this condition. Furthermore,\n<div style=\"text-align: center;\">[latex]f\\,(a,\\ b)=f\\,(5,-3)=\\frac{3(5)+2(-3)}{5+(-3)+1}=\\frac{15-6}{2+1}=3.[\/latex]<\/div>\n<p>&nbsp;<\/li>\n<li>[latex]\\displaystyle\\lim_{(x,\\ y)\\to(a,\\ b)}f\\,(x,\\ y)[\/latex] exists. This is also true:\n<div style=\"text-align: center;\">[latex]\\begin{array}{ccc}\\hfill {\\displaystyle\\lim_{(x,\\ y)\\to(a,\\ b)}f\\,(x,\\ y)} & =\\hfill & {\\displaystyle\\lim_{(x,\\ y)\\to(5,\\ -3)}\\frac{3x+2y}{x+y+1}}\\hfill \\\\ \\hfill & =\\hfill & {\\frac{\\displaystyle\\lim_{(x,\\ y)\\to(5,\\ -3)}(3x+2y)}{\\displaystyle\\lim_{(x,\\ y)\\to(5,\\ -3)}(x+y+1)}}\\hfill \\\\ \\hfill & =\\hfill & {\\frac{15-6}{5-3+1}}\\hfill \\\\ \\hfill & =\\hfill & {3.}\\hfill \\\\ \\hfill \\end{array}[\/latex]<\/div>\n<\/li>\n<li>[latex]\\displaystyle\\lim_{(x,\\ y)\\to(a,\\ b)}f\\,(x,\\ y)=f\\,(a,\\ b)[\/latex].\u00a0This is true because we have just shown that both sides of this equation equal three.<\/li>\n<\/ol>\n<\/div>\n<\/div>\n<\/section>\n<h3 class=\"text-xl font-bold text-text-100 mt-1 -mb-0.5\">Properties of Continuous Functions<\/h3>\n<p class=\"whitespace-normal break-words\">Continuity can also be defined using the epsilon-delta definition. A function of two variables is continuous at a point [latex](x_0,y_0)[\/latex] in its domain if for every [latex]\\epsilon>0[\/latex] there exists [latex]\\delta>0[\/latex] such that, whenever [latex]\\sqrt{(x-x_0)^2+(y-y_0)^2}<\\delta[\/latex], we have [latex]|f(x,y)-f(x_0,y_0)|<\\epsilon[\/latex].<\/p>\n<p class=\"whitespace-normal break-words\">This definition can be combined with the epsilon-delta definition of continuity for functions of one variable to prove the following theorems.<\/p>\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\n<h3>sum of continuous functions<\/h3>\n<p>If [latex]f(x,y)[\/latex] is continuous at\u00a0[latex](x_0,y_0)[\/latex], and\u00a0[latex]g(x,y)[\/latex] is continuous at\u00a0[latex](x_0,y_0)[\/latex], then\u00a0[latex]f(x,y)+g(x,y)[\/latex] is continuous at\u00a0[latex](x_0,y_0)[\/latex].<\/p>\n<\/section>\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\n<h3>product of continuous functions<\/h3>\n<p>If [latex]g(x)[\/latex] is continuous at\u00a0[latex]x_0[\/latex], and\u00a0[latex]h(y)[\/latex] is continuous at\u00a0[latex]y_0[\/latex], then\u00a0[latex]f(x,y)=g(x)h(y)[\/latex] is continuous at\u00a0[latex](x_0,y_0)[\/latex].<\/p>\n<\/section>\n<section class=\"textbox keyTakeaway\" aria-label=\"Key Takeaway\">\n<h3>composition of continuous functions<\/h3>\n<p>Let [latex]g[\/latex] be a function of two variables continuous at [latex](x_0,y_0)\\in{D}[\/latex], and define [latex]z_0=g(x_0,y_0)[\/latex]. Let [latex]f[\/latex] be a function of one variable continuous at [latex]z_0[\/latex]. Then [latex]f\\circ g[\/latex] is continuous at [latex](x_0,y_0)[\/latex].<\/p>\n<\/section>\n<figure id=\"attachment_979\" aria-describedby=\"caption-attachment-979\" style=\"width: 856px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-979\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/5667\/2021\/09\/28225710\/4-2-7.jpeg\" alt=\"A shape is shown labeled the domain of g with point (x, y) inside of it. From the domain of g there is an arrow marked g pointing to the range of g, which is a straight line with point z on it. The range of g is also marked the domain of f. Then there is another arrow marked f from this shape to a line marked range of f.\" width=\"856\" height=\"228\" \/><figcaption id=\"caption-attachment-979\" class=\"wp-caption-text\">Figure 1.\u00a0The composition of two continuous functions is continuous.<\/figcaption><\/figure>\n<p class=\"whitespace-normal break-words\">We can use these theorems to show continuity of functions in the following example.<\/p>\n<section class=\"textbox example\" aria-label=\"Example\">Show that the functions [latex]f\\,(x,\\ y)=4x^{3}y^{2}[\/latex] and [latex]g\\,(x,\\ y)=\\cos{(4x^{3}y^{2})}[\/latex] are continuous everywhere.<\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"qfs-id2667993733114\">Show Solution<\/button><\/p>\n<div id=\"qfs-id2667993733114\" class=\"hidden-answer\" style=\"display: none\">\n<p>The polynomials [latex]g\\,(x)=4x^{3}[\/latex] and [latex]h\\,(y)=y^{2}[\/latex]\u00a0are continuous at every real number, and therefore by the product of continuous functions theorem, [latex]f\\,(x,\\ y)=4x^{3}y^{2}[\/latex] is continuous at every point [latex](x,\\ y)[\/latex] in the [latex]xy[\/latex]-plane. Since [latex]f\\,(x,\\ y)=4x^{3}y^{2}[\/latex]\u00a0is continuous at every point [latex](x,\\ y)[\/latex] in the [latex]xy[\/latex]-plane and [latex]g\\,(x)=\\cos{x}[\/latex]\u00a0is continuous at every real number [latex]x[\/latex],\u00a0the continuity of the composition of functions tells us that [latex]g\\,(x,\\ y)=\\cos{(4x^{3}y^{2})}[\/latex] is continuous at every point [latex](x,\\ y)[\/latex] in the [latex]xy[\/latex]-plane.<\/p>\n<\/div>\n<\/div>\n<\/section>\n","protected":false},"author":15,"menu_order":13,"template":"","meta":{"_candela_citation":"[]","pb_show_title":"on","pb_short_title":"","pb_subtitle":"","pb_authors":[],"pb_section_license":""},"chapter-type":[],"contributor":[],"license":[],"class_list":["post-1065","chapter","type-chapter","status-publish","hentry"],"part":426,"module-header":"- Select Header -","content_attributions":[],"internal_book_links":[],"video_content":null,"cc_video_embed_content":{"cc_scripts":"","media_targets":[]},"try_it_collection":null,"_links":{"self":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/1065","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters"}],"about":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/types\/chapter"}],"author":[{"embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/users\/15"}],"version-history":[{"count":4,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/1065\/revisions"}],"predecessor-version":[{"id":1739,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/1065\/revisions\/1739"}],"part":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/parts\/426"}],"metadata":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapters\/1065\/metadata\/"}],"wp:attachment":[{"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/media?parent=1065"}],"wp:term":[{"taxonomy":"chapter-type","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/pressbooks\/v2\/chapter-type?post=1065"},{"taxonomy":"contributor","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/contributor?post=1065"},{"taxonomy":"license","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/calculus3\/wp-json\/wp\/v2\/license?post=1065"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}